- 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
|
|
Notions around tree property 1.Byunghan Kim & Hyeung-Joon Kim - 2011 - Annals of Pure and Applied Logic 162 (9):698-709.details
|
|
Hypergraph sequences as a tool for saturation of ultrapowers.M. E. Malliaris - 2012 - Journal of Symbolic Logic 77 (1):195-223.details
|
|
Dense codense predicates and the NTP 2.Alexander Berenstein & Hyeung-Joon Kim - 2016 - Mathematical Logic Quarterly 62 (1-2):16-24.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
|
|
Atomic saturation of reduced powers.Saharon Shelah - 2021 - Mathematical Logic Quarterly 67 (1):18-42.details
|
|
Edge distribution and density in the characteristic sequence.M. E. Malliaris - 2010 - Annals of Pure and Applied Logic 162 (1):1-19.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
|
|
Independence, order, and the interaction of ultrafilters and theories.M. E. Malliaris - 2012 - Annals of Pure and Applied Logic 163 (11):1580-1595.details
|
|