Model-theoretic applications of cofinality spectrum problems (Q2408036): Difference between revisions

@@ Property / author @@
-Maryanthe Malliaris
@@ Property / author: Maryanthe Malliaris / rank @@
-Normal rank
@@ Property / author @@
+Maryanthe Malliaris
@@ Property / author: Maryanthe Malliaris / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2240503508
@@ Property / OpenAlex ID: W2240503508 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08338
@@ Property / arXiv ID: 1503.08338 / rank @@
+Normal rank
@@ Property / cites work @@
+On \(\vartriangleleft^{*}\)-maximality.
@@ Property / cites work: On \(\vartriangleleft^{*}\)-maximality. / rank @@
+Normal rank
@@ Property / cites work @@
+Models and types of Peano's arithmetic
@@ Property / cites work: Models and types of Peano's arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962995
@@ Property / cites work: Q3962995 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact saturation in simple and NIP theories
@@ Property / cites work: Exact saturation in simple and NIP theories / rank @@
+Normal rank
@@ Property / cites work @@
+Ultraproducts which are not saturated
@@ Property / cites work: Ultraproducts which are not saturated / rank @@
+Normal rank
@@ Property / cites work @@
+Q5484945
@@ Property / cites work: Q5484945 / rank @@
+Normal rank
@@ Property / cites work @@
+General topology meets model theory, on 𝔭 and 𝔱
+Normal rank
@@ Property / cites work @@
+Cofinality spectrum theorems in model theory, set theory, and general topology
+Normal rank
@@ Property / cites work @@
+Existence of optimal ultrafilters and the fundamental complexity of simple theories
+Normal rank
@@ Property / cites work @@
+Keisler's order has infinitely many classes
@@ Property / cites work: Keisler's order has infinitely many classes / rank @@
+Normal rank
@@ Property / cites work @@
+Open problems on ultrafilters and some                     connections to the continuum
+Normal rank
@@ Property / cites work @@
+Model theory and the cardinal numbers 𝔭 and 𝔱
+Normal rank
@@ Property / cites work @@
+Q5331471
@@ Property / cites work: Q5331471 / rank @@
+Normal rank
@@ Property / cites work @@
+Saturated models of Peano arithmetic
@@ Property / cites work: Saturated models of Peano arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary cuts in saturated models of Peano arithmetic
+Normal rank
@@ Property / cites work @@
+Classification theory and the number of non-isomorphic models
+Normal rank
@@ Property / cites work @@
+End extensions and numbers of countable models
@@ Property / cites work: End extensions and numbers of countable models / rank @@
+Normal rank
@@ Property / cites work @@
+Toward classifying unstable theories
@@ Property / cites work: Toward classifying unstable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4824885
@@ Property / cites work: Q4824885 / rank @@
+Normal rank
@@ Property / cites work @@
+Quite complete real closed fields
@@ Property / cites work: Quite complete real closed fields / rank @@
+Normal rank
@@ Property / cites work @@
+Dependent theories and the generic pair conjecture
+Normal rank
@@ Property / cites work @@
+Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions
+Normal rank
@@ Property / cites work @@
+More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\)
@@ Property / cites work: More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\) / rank @@
+Normal rank
@@ Property / cites work @@
+On the scheme of induction for bounded arithmetic formulas
+Normal rank