Model-theoretic applications of cofinality spectrum problems

M. Malliaris, Saharon Shelah

Type: Article

Publication Date: 2017-05-08

Citations: 12

DOI: https://doi.org/10.1007/s11856-017-1526-7

View Publication

Download PDF

Locations

Israel Journal of Mathematics - View
arXiv (Cornell University) - View - PDF

Similar Works

Action	Title	Year	Authors
+	Model-theoretic applications of cofinality spectrum problems	2015	M. Malliaris Saharon Shelah
+	Notes on Cofinality Spectrum Problems	2017	David Casey M. Malliaris
+	The Arithmetics as Theories of two Orders	1984	Denis Richard
+	On Cofinal Submodels and Elementary Interstices	2012	Roman Kossak James H. Schmerl
+	Cofinality spectrum theorems in model theory, set theory, and general topology	2015	M. Malliaris Saharon Shelah
+	Cofinal elementary extensions	2014	James H. Schmerl
+	Cofinality spectrum theorems in model theory, set theory and general topology	2012	M. Malliaris Saharon Shelah
+	Some highly saturated models of Peano arithmetic	2002	James H. Schmerl
+ PDF Chat	Exact saturation in pseudo-elementary classes for simple and stable theories	2022	Itay Kaplan Nicholas Ramsey Saharon Shelah
+	Countable Models of Peano Arithmetic	2020	Lorenz Halbeisen Regula Krapf
+ PDF Chat	Near coherence of filters. I. Cofinal equivalence of models of arithmetic.	1986	Andreas Blass
+	INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS	2006	Antonio Montalbán
+	Vaught and Morley Conjectures for ω-Stable Countable Theories	1988	John T. Baldwin
+ PDF Chat	A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words	2012	Colin Riba
+	Exact saturation in pseudo-elementary classes for simple and stable theories	2020	Itay Kaplan Nicholas Ramsey Saharon Shelah
+	On expandability of models of Peano arithmetic to models of the alternative set theory	1992	Athanassios Tzouvaras
+	A computability theoretic equivalent to Vaught's conjecture	2012	Antonio Montalbán
+	A computability theoretic equivalent to Vaught's conjecture	2012	Antonio Montalbán
+ PDF Chat	Arithmetically Saturated Models of Arithmetic	1995	Roman Kossak James H. Schmerl
+ PDF Chat	A computability theoretic equivalent to Vaught’s conjecture	2012	Antonio Montalbán

Works That Cite This (12)

Action	Title	Year	Authors
+	Divide and Conquer: Dividing Lines and Universality	2021	Saharon Shelah
+ PDF Chat	Criteria for exact saturation and singular compactness	2021	Itay Kaplan Nicholas Ramsey Saharon Shelah
+	Criteria for exact saturation and singular compactness	2020	Itay Kaplan Nicholas Ramsey Saharon Shelah
+	A new look at interpretability and saturation	2019	M. Malliaris Saharon Shelah
+	A new look at interpretability and saturation	2017	M. Malliaris Saharon Shelah
+ PDF Chat	Atomic saturation of reduced powers	2021	Saharon Shelah
+ PDF Chat	Exact saturation in pseudo-elementary classes for simple and stable theories	2022	Itay Kaplan Nicholas Ramsey Saharon Shelah
+	Existence of optimal ultrafilters and the fundamental complexity of simple theories	2014	M. Malliaris Saharon Shelah
+	The Dividing Line Methodology: Model Theory Motivating Set Theory	2021	John T. Baldwin
+	Cofinality spectrum theorems in model theory, set theory, and general topology	2015	M. Malliaris Saharon Shelah

Works Cited by This (25)

Action	Title	Year	Authors
+	Keisler's order has infinitely many classes	2015	M. Malliaris Saharon Shelah
+	Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions	2011	Saharon Shelah
+	On lhd * -maximality.	2004	Mirna Džamonja Saharon Shelah
+	Ultraproducts which are not saturated	1967	H. Jerome Keisler
+ PDF Chat	Quite complete real closed fields	2004	Saharon Shelah
+	On the scheme of induction for bounded arithmetic formulas	1987	A. J. Wilkie J. B. Paris
+ PDF Chat	General topology meets model theory, on 𝔭 and 𝔱	2013	M. Malliaris Saharon Shelah
+	Toward classifying unstable theories	1996	Saharon Shelah
+	Elementary Cuts in Saturated Models of Peano Arithmetic	2012	James H. Schmerl
+	Models and types of Peano's arithmetic	1976	Haim Gaifman