The following pages link to Model Theory (Q4779973):
Displaying 50 items.
- On modal logics of model-theoretic relations (Q831223) (← links)
- On the relationship between differential algebra and tropical differential algebraic geometry (Q831965) (← links)
- Ordered fields and Ł\(\Pi\frac{1}{2}\)-algebras (Q841977) (← links)
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) (← links)
- Imaginaries in pairs of algebraically closed fields (Q876379) (← links)
- Preserving categoricity and complexity of relations (Q887644) (← links)
- Multi-sorted logic and logical geometry: some problems. (Q895878) (← links)
- Superstability and central extensions of algebraic groups (Q895977) (← links)
- Invariant measures via inverse limits of finite structures (Q896078) (← links)
- The model theory of separably tame valued fields (Q897758) (← links)
- Iterated elementary embeddings and the model theory of infinitary logic (Q904149) (← links)
- Constructible motivic functions and motivic integration (Q929367) (← links)
- Generic splitting for special groups (Q948725) (← links)
- Inconsistency as qualified truth: a probability logic approach (Q962927) (← links)
- Vanishing homology (Q987193) (← links)
- Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007 (Q1005921) (← links)
- Categoricity of computable infinitary theories (Q1005932) (← links)
- Combining logical and algebraic techniques for natural style proving in elementary analysis (Q1025313) (← links)
- Approximation for Frobenius algebraic equations in Witt vectors (Q1028291) (← links)
- The theory of the exponential differential equations of semiabelian varieties (Q1039323) (← links)
- The partial ordering on the automorphism group of the countable generic partial order (Q1047182) (← links)
- Introduction to model theory and to the metamathematics of algebra. 2nd ed. (2nd print.). (With a preface by H. Jerome Keisler) (Q1115855) (← links)
- A guide to classical and modern model theory (Q1405321) (← links)
- An essay on model theory (Q1407204) (← links)
- Perfect pseudo-algebraically closed fields are algebraically bounded. (Q1421819) (← links)
- Existential monadic second order logic on random rooted trees (Q1618231) (← links)
- On stably pointed varieties and generically stable groups in ACVF (Q1625593) (← links)
- General non-commutative locally compact locally Hausdorff Stone duality (Q1628419) (← links)
- Fractional parts of dense additive subgroups of real numbers (Q1630856) (← links)
- A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064) (← links)
- Nilpotence and generation in the stable module category (Q1635325) (← links)
- Nonpresentability of some structures of analysis in hereditarily finite superstructures (Q1644856) (← links)
- Algebraic and o-minimal flows on complex and real tori (Q1649343) (← links)
- Closure and connected component of a planar global semianalytic set defined by analytic functions definable in o-minimal structure (Q1682405) (← links)
- Universal invariants for classes of abelian groups (Q1688177) (← links)
- On deductive interpolation for the weak nilpotent minimum logic (Q1697356) (← links)
- Divisible rigid groups. Algebraic closedness and elementary theory (Q1703282) (← links)
- Structure and enumeration theorems for hereditary properties in finite relational languages (Q1706268) (← links)
- On the uniqueness of some girth eight algebraically defined graphs. II (Q1720322) (← links)
- On the Dixmier-Moeglin equivalence for Poisson-Hopf algebras (Q1731555) (← links)
- The Heisenberg group is pan-rational (Q1731562) (← links)
- On positive local combinatorial dividing-lines in model theory (Q1734257) (← links)
- Model-completions for abelian lattice-ordered groups with finitely many disjoint elements (Q1740455) (← links)
- Bipartite algebraic graphs without quadrilaterals (Q1744742) (← links)
- Interpretable groups in Mann pairs (Q1745349) (← links)
- Constants and finite unary relations in qualitative constraint reasoning (Q1749385) (← links)
- Model theoretic connected components of groups (Q1758910) (← links)
- Homogeneity in the free group. (Q1759768) (← links)
- Downward closure of depth in countable Boolean algebras (Q1762475) (← links)
- Difference equations in Witt vectors (Q1764103) (← links)
