Pages that link to "Item:Q1142774"
From MaRDI portal
The following pages link to Strong constructivizability of homogeneous models (Q1142774):
Displayed 11 items.
- Autostability of prime models under strong constructivizations (Q431714) (← links)
- Finite lattices having no independent basis of quasiidentities (Q1058536) (← links)
- Minimal coorder of pseudo-Boolean and topo-Boolean algebras having no finite basis of quasi-identities (Q1119577) (← links)
- Computable models of theories with few models (Q1381432) (← links)
- Hanf number for Scott sentences of computable structures (Q1756497) (← links)
- A note on decidable categoricity and index sets (Q2200982) (← links)
- \(\mathsf{WKL}_0\) and induction principles in model theory (Q2344719) (← links)
- A Note on the Computable Categoricity of $$\ell ^p$$ ℓ p Spaces (Q3195705) (← links)
- On Decidable and Computable Models of Theories (Q5326370) (← links)
- Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem (Q5366979) (← links)
- Arithmetical decidability of homogeneous and almost prime countable models of Ehrenfeucht theories with arithmetical types (Q6187997) (← links)