The following pages link to (Q5652669):
Displayed 50 items.
- On universal Horn classes categorical in some infinite power (Q759010) (← links)
- Elimination of quantifiers in algebraic structures (Q787962) (← links)
- On the size of congruence lattices for models of theories with definability of congruences (Q793011) (← links)
- Rings of finite representation type and modules of finite Morley rank (Q793133) (← links)
- On some classes of Hilbertian fields (Q798714) (← links)
- Relative elimination of quantifiers for Henselian valued fields (Q810501) (← links)
- A survey of basic stability theory, with particular emphasis on orthogonality and regular types (Q1069927) (← links)
- Graphs determined by their finite induced subgraphs (Q1077438) (← links)
- The field of reals with a predicate for the powers of two (Q1094412) (← links)
- A conjecture of Shelah (Q1112808) (← links)
- Differential and difference algebra (Q1116979) (← links)
- Elementary extensions, ommission of types, and homogeneous models (Q1117215) (← links)
- Some model theory for Henselian valued fields (Q1134757) (← links)
- Rings of real-valued continuous functions. II (Q1138547) (← links)
- Criterion for strong constructivizability of a homogeneous model (Q1140632) (← links)
- On \(\aleph_0\)-categorical nilrings (Q1141696) (← links)
- Towards a general theory of formally p-adic fields (Q1147758) (← links)
- Approximation properties and existential completeness for ring morphisms (Q1158215) (← links)
- Infinite groups (Q1161607) (← links)
- Categorical Horn classes. I (Q1167157) (← links)
- Theories of linear order (Q1216299) (← links)
- On models with variable universe (Q1217703) (← links)
- Differentially closed fields (Q1217853) (← links)
- Model-completeness and elimination of quantifiers for subdirect products of structures (Q1222162) (← links)
- Ranks and definability in superstable theories (Q1225615) (← links)
- Effective dimension (Q1232405) (← links)
- The model theory of differential fields revisited (Q1233436) (← links)
- \(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures (Q1233438) (← links)
- \(\aleph_0\)-categorical stable groups (Q1237729) (← links)
- \(\eta_\alpha\)-Strukturen (Q1237795) (← links)
- \(\aleph_0\)-categoricity and stability of rings (Q1242979) (← links)
- A theorem on absolute indiscernibles (Q1254305) (← links)
- Some model-theoretic aspects of torsion theories (Q1254308) (← links)
- Totally categorical groups and rings (Q1254992) (← links)
- Problemi di decidibilita in logica topologica (Q1255489) (← links)
- In conjunction with qualitative probability (Q1295377) (← links)
- Computable isomorphisms, degree spectra of relations, and Scott families (Q1295389) (← links)
- Extended order-generic queries (Q1302301) (← links)
- Expansions of the real field with power functions (Q1326770) (← links)
- P\(\neq\)NP over the nonstandard reals implies P\(\neq\)NP over \(\mathbb{R}\) (Q1338220) (← links)
- Generic automorphisms of fields (Q1377642) (← links)
- Null- and Positivstellensätze for generalized real closed fields (Q1380044) (← links)
- Constrained extensions of differential fields (Q1394262) (← links)
- An essay on model theory (Q1407204) (← links)
- Some model theory for generalized trees (Q1825187) (← links)
- Model completion of Lie differential fields (Q1840457) (← links)
- On variants of \(o\)-minimality (Q1919545) (← links)
- Closed asymptotic couples (Q1972038) (← links)
- On k-homogeneous posets and graphs (Q2276986) (← links)
- Ind- and pro-definable sets (Q2373696) (← links)