Pages that link to "Item:Q1006615"
From MaRDI portal
The following pages link to Realization of \(\varphi \)-types and Keisler's order (Q1006615):
Displaying 19 items.
- Cofinality spectrum problems: the axiomatic approach (Q330046) (← links)
- Independence, order, and the interaction of ultrafilters and theories (Q450953) (← links)
- Edge distribution and density in the characteristic sequence (Q638472) (← links)
- Existence of optimal ultrafilters and the fundamental complexity of simple theories (Q908076) (← links)
- Keisler's order has infinitely many classes (Q1650013) (← links)
- On positive local combinatorial dividing-lines in model theory (Q1734257) (← links)
- Keisler's order is not simple (and simple theories may not be either) (Q2237409) (← links)
- A dividing line within simple unstable theories (Q2450799) (← links)
- The Keisler order in continuous logic (Q2682715) (← links)
- MODEL-THEORETIC PROPERTIES OF ULTRAFILTERS BUILT BY INDEPENDENT FAMILIES OF FUNCTIONS (Q2921022) (← links)
- Constructing regular ultrafilters from a model-theoretic point of view (Q2944929) (← links)
- The characteristic sequence of a first-order formula (Q3066802) (← links)
- An example of a new simple theory (Q3299563) (← links)
- Cofinality spectrum theorems in model theory, set theory, and general topology (Q3450267) (← links)
- KEISLER’S ORDER IS NOT LINEAR, ASSUMING A SUPERCOMPACT (Q4579811) (← links)
- General topology meets model theory, on 𝔭 and 𝔱 (Q5170971) (← links)
- Hypergraph sequences as a tool for saturation of ultrapowers (Q5388726) (← links)
- Using ultrapowers to compare continuous structures (Q6073896) (← links)
- Some simple theories from a Boolean algebra point of view (Q6073915) (← links)
