Pages that link to "Item:Q4268931"
From MaRDI portal
The following pages link to Constructive models of uncountably categorical theories (Q4268931):
Displaying 14 items.
- The index set of uncountably categorical theories (Q375902) (← links)
- New spectra of strongly minimal theories in finite languages (Q638500) (← links)
- Spectra of recursive models of disintegrated strongly minimal theories (Q2263105) (← links)
- An uncountably categorical theory whose only computably presentable model is saturated (Q2505131) (← links)
- Effectively Existentially-Atomic Structures (Q2970960) (← links)
- A new spectrum of recursive models using an amalgamation construction (Q3173531) (← links)
- Recursive categoricity and persistence (Q3767330) (← links)
- Accessible Categories: The Foundations of Categorical Model Theory (Q3995283) (← links)
- IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE (Q5021931) (← links)
- A Constructive Model of Directed Univalence in Bicubical Sets (Q5145691) (← links)
- The Univalence Axiom in posetal model categories (Q5262479) (← links)
- On the computability-theoretic complexity of trivial, strongly minimal models (Q5308141) (← links)
- Recursive spectra of strongly minimal theories satisfying the Zilber Trichotomy (Q5400808) (← links)
- (Q5752573) (← links)