export record
dblp key:
journals/jsyml/GoldbringK22 share record
persistent URL:
Isaac Goldbring , H. Jerome Keisler : Continuous Sentences Preserved under Reduced Products. J. Symb. Log. 87 (2 ) : 649-681 (2022 )export record
dblp key:
journals/jsyml/HamkinsW22 share record
persistent URL:
Joel David Hamkins , Kameryn J. Williams : The σ1-Definable Universal finite sequence. J. Symb. Log. 87 (2 ) : 783-801 (2022 )export record
dblp key:
journals/jsyml/Harrison-Trainor22 share record
persistent URL:
Matthew Harrison-Trainor , Antonio Montalbán : The Tree of Tuples of a Structure. J. Symb. Log. 87 (1 ) : 21-46 (2022 )export record
dblp key:
journals/jsyml/Hawthorne22 share record
persistent URL:
Christopher Hawthorne : Contributions to the Theory of F-Automatic Sets. J. Symb. Log. 87 (1 ) : 127-158 (2022 )share record
persistent URL:
Yair Hayut , Menachem Magidor : Subcompact Cardinals, Type Omission, and ladder Systems. J. Symb. Log. 87 (3 ) : 1111-1129 (2022 )share record
persistent URL:
Yair Hayut , Menachem Magidor , Alejandro Poveda : Identity Crisis between supercompactness and VǒPenka's Principle. J. Symb. Log. 87 (2 ) : 626-648 (2022 )export record
dblp key:
journals/jsyml/JacobsenGrocott22 share record
persistent URL:
Josiah Jacobsen-Grocott : A Characterization of the Strongly 𝜼-Representable Many-One Degrees. J. Symb. Log. 87 (4 ) : 1631-1642 (2022 )export record
dblp key:
journals/jsyml/JanelidzeB22 share record
persistent URL:
Zurab Janelidze , Ineke van der Berg : A Dedekind-Style Axiomatization and the Corresponding Universal Property of an Ordinal Number System. J. Symb. Log. 87 (4 ) : 1396-1418 (2022 )export record
dblp key:
journals/jsyml/JohnsonY22 share record
persistent URL:
Will Johnson , Ningyuan Yao : On non-Compact P-ADIC Definable Groups. J. Symb. Log. 87 (1 ) : 188-213 (2022 )export record
dblp key:
journals/jsyml/JohnstonR22 share record
persistent URL:
Reese Johnston , Dilip Raghavan : Complexity of Index Sets of Descriptive Set-Theoretic Notions. J. Symb. Log. 87 (3 ) : 894-911 (2022 )export record
dblp key:
journals/jsyml/KaplanSS22 share record
persistent URL:
Itay Kaplan , Ori Segel , Saharon Shelah : Boolean Types in Dependent Theories. J. Symb. Log. 87 (4 ) : 1349-1373 (2022 )share record
persistent URL:
Erfan Khaniki : New Relations and Separations of conjectures about Incompleteness in the finite Domain. J. Symb. Log. 87 (3 ) : 912-937 (2022 )export record
dblp key:
journals/jsyml/KhoussainovT22 share record
persistent URL:
Bakh Khoussainov , Toru Takisaka : Infinite Strings and their Large Scale Properties. J. Symb. Log. 87 (2 ) : 585-625 (2022 )export record
dblp key:
journals/jsyml/Krajicek22 share record
persistent URL:
Jan Krajícek : Information in Propositional Proofs and Algorithmic Proof Search. J. Symb. Log. 87 (2 ) : 852-869 (2022 )share record
persistent URL:
Adam Kwela , Paolo Leonetti : Density-like and generalized density ideals. J. Symb. Log. 87 (1 ) : 228-251 (2022 )export record
dblp key:
journals/jsyml/LavickaV22 share record
persistent URL:
Tomás Lávicka , Jonathan L. Verner : Completely separable MAD families and the Modal Logic of βω. J. Symb. Log. 87 (2 ) : 498-507 (2022 )share record
persistent URL:
Lu Liu , Ludovic Patey : The Reverse Mathematics of the thin Set and ERDőS-Moser theorems. J. Symb. Log. 87 (1 ) : 313-346 (2022 )share record
persistent URL:
Pierre Matet : Applications of PCF Theory to the Study of ideals on. J. Symb. Log. 87 (3 ) : 967-994 (2022 )export record
dblp key:
journals/jsyml/Matthews22 share record
persistent URL:
Richard Matthews : Taking Reinhardt's Power Away. J. Symb. Log. 87 (4 ) : 1643-1662 (2022 )share record
persistent URL:
Nadav Meir : Pseudo-finite Sets, Pseudo-O-Minimality - erratum. J. Symb. Log. 87 (1 ) : 436 (2022 )share record
persistent URL:
Russell G. Miller : Htp-Complete Rings of rational numbers. J. Symb. Log. 87 (1 ) : 252-272 (2022 )export record
dblp key:
journals/jsyml/Moraschini22 share record
persistent URL:
Tommaso Moraschini : On Equational Completeness Theorems. J. Symb. Log. 87 (4 ) : 1522-1575 (2022 )share record
persistent URL:
Charles Morgan : Mitchell-Inspired forcing, with Small Working parts and Collections of Models of Uniform Size as Side conditions, and Gap-One Simplified Morasses. J. Symb. Log. 87 (1 ) : 392-415 (2022 )share record
persistent URL:
Takako Nemoto , Sato Kentaro : A Marriage of Brouwer's Intuitionism and Hilbert's finitism I: Arithmetic. J. Symb. Log. 87 (2 ) : 437-497 (2022 )export record
dblp key:
journals/jsyml/NormannS22 share record
persistent URL:
Dag Normann , Sam Sanders : On the Uncountability of ℝ R. J. Symb. Log. 87 (4 ) : 1474-1521 (2022 )share record
persistent URL:
Hector Pasten : Notes on the DPRM Property for Listable Structures. J. Symb. Log. 87 (1 ) : 273-312 (2022 )share record
persistent URL:
Ludovic Patey : Ramsey-like theorems and moduli of Computation. J. Symb. Log. 87 (1 ) : 72-108 (2022 )share record
persistent URL:
Arno Pauly , Linda Westrick , Liang Yu : Luzin's (n) and Randomness Reflection. J. Symb. Log. 87 (2 ) : 802-828 (2022 )export record
dblp key:
journals/jsyml/Rossegger22 share record
persistent URL:
Dino Rossegger : Degree Spectra of Analytic Complete Equivalence Relations. J. Symb. Log. 87 (4 ) : 1663-1676 (2022 )share record
persistent URL:
Ramez L. Sami : Variations on Determinacy and ℵω1. J. Symb. Log. 87 (2 ) : 721-731 (2022 )