- On model-theoretic tree properties.Artem Chernikov & Nicholas Ramsey - 2016 - Journal of Mathematical Logic 16 (2):1650009.details
|
|
Generic expansion and Skolemization in NSOP 1 theories.Alex Kruckman & Nicholas Ramsey - 2018 - Annals of Pure and Applied Logic 169 (8):755-774.details
|
|
Tree indiscernibilities, revisited.Byunghan Kim, Hyeung-Joon Kim & Lynn Scow - 2014 - Archive for Mathematical Logic 53 (1-2):211-232.details
|
|
Independence over arbitrary sets in NSOP1 theories.Jan Dobrowolski, Byunghan Kim & Nicholas Ramsey - 2022 - Annals of Pure and Applied Logic 173 (2):103058.details
|
|
Notions around tree property 1.Byunghan Kim & Hyeung-Joon Kim - 2011 - Annals of Pure and Applied Logic 162 (9):698-709.details
|
|
Characterization of NIP theories by ordered graph-indiscernibles.Lynn Scow - 2012 - Annals of Pure and Applied Logic 163 (11):1624-1641.details
|
|
Indiscernibles, EM-Types, and Ramsey Classes of Trees.Lynn Scow - 2015 - Notre Dame Journal of Formal Logic 56 (3):429-447.details
|
|
On Rank Not Only in Nsop $_1$ Theories.Jan Dobrowolski & Daniel Max Hoffmann - 2024 - Journal of Symbolic Logic 89 (4):1669-1702.details
|
|
(1 other version)More on SOP 1 and SOP 2.Saharon Shelah & Alexander Usvyatsov - 2008 - Annals of Pure and Applied Logic 155 (1):16-31.details
|
|
Realization of φ -types and Keisler’s order.M. E. Malliaris - 2009 - Annals of Pure and Applied Logic 157 (2-3):220-224.details
|
|
Transitivity, Lowness, and Ranks in Nsop Theories.Artem Chernikov, K. I. M. Byunghan & Nicholas Ramsey - 2023 - Journal of Symbolic Logic 88 (3):919-946.details
|
|
A note on nsop1 in one variable.Nicholas Ramsey - 2019 - Journal of Symbolic Logic 84 (1):388-392.details
|
|
Hypergraph sequences as a tool for saturation of ultrapowers.M. E. Malliaris - 2012 - Journal of Symbolic Logic 77 (1):195-223.details
|
|
The stability spectrum for classes of atomic models.John T. Baldwin & Saharon Shelah - 2012 - Journal of Mathematical Logic 12 (1):1250001-.details
|
|
On the antichain tree property.JinHoo Ahn, Joonhee Kim & Junguk Lee - 2022 - Journal of Mathematical Logic 23 (2).details
|
|
Disjoint $n$ -Amalgamation and Pseudofinite Countably Categorical Theories.Alex Kruckman - 2019 - Notre Dame Journal of Formal Logic 60 (1):139-160.details
|
|
Model-theoretic properties of ultrafilters built by independent families of functions.M. Malliaris & S. Shelah - 2014 - Journal of Symbolic Logic 79 (1):103-134.details
|
|
The characteristic sequence of a first-order formula.M. E. Malliaris - 2010 - Journal of Symbolic Logic 75 (4):1415-1440.details
|
|
Divide and Conquer: Dividing Lines and Universality.Saharon Shelah - 2021 - Theoria 87 (2):259-348.details
|
|
Criteria for exact saturation and singular compactness.Itay Kaplan, Nicholas Ramsey & Saharon Shelah - 2021 - Annals of Pure and Applied Logic 172 (9):102992.details
|
|
Atomic saturation of reduced powers.Saharon Shelah - 2021 - Mathematical Logic Quarterly 67 (1):18-42.details
|
|
A new look at interpretability and saturation.M. Malliaris & S. Shelah - 2019 - Annals of Pure and Applied Logic 170 (5):642-671.details
|
|
Generic variations and NTP$$_1$$1.Jan Dobrowolski - 2018 - Archive for Mathematical Logic 57 (7-8):861-871.details
|
|
SOP1, SOP2, and antichain tree property.JinHoo Ahn & Joonhee Kim - 2024 - Annals of Pure and Applied Logic 175 (3):103402.details
|
|
On properties of theories which preclude the existence of universal models.Mirna Džamonja & Saharon Shelah - 2006 - Annals of Pure and Applied Logic 139 (1):280-302.details
|
|
A New Perspective on Semi-Retractions and the Ramsey Property.Dana Bartošová & Lynn Scow - 2024 - Journal of Symbolic Logic 89 (3):945-979.details
|
|
Positive indiscernibles.Mark Kamsma - 2024 - Archive for Mathematical Logic 63 (7):921-940.details
|
|
(1 other version)More on SOP1 and SOP2.Saharon Shelah & Alexander Usvyatsov - 2008 - Annals of Pure and Applied Logic 155 (1):16-31.details
|
|
Generic multiplicative endomorphism of a field.Christian D'Elbée - 2025 - Annals of Pure and Applied Logic 176 (4):103554.details
|
|
Using ultrapowers to compare continuous structures.H. Jerome Keisler - forthcoming - Annals of Pure and Applied Logic.details
|
|
Independence, order, and the interaction of ultrafilters and theories.M. E. Malliaris - 2012 - Annals of Pure and Applied Logic 163 (11):1580-1595.details
|
|