The following pages link to Model Theory (Q4779973):
Displaying 50 items.
- Tropical totally positive matrices (Q1794085) (← links)
- Integer-valued difference rational functions over Witt vectors (Q1876904) (← links)
- Algebraic geometry over algebraic structures. II: Foundations (Q1930229) (← links)
- A saturation property of structures obtained by forcing with a compact family of random variables (Q1935366) (← links)
- Real closures of models of weak arithmetic (Q1935370) (← links)
- Effective dimension of finite semigroups. (Q1940207) (← links)
- On the virtue of categoricity (Q1981999) (← links)
- Tropical spectrahedra (Q1985292) (← links)
- Definable groups in models of Presburger arithmetic (Q1987223) (← links)
- Definable relations in finite-dimensional subspace lattices with involution (Q1991600) (← links)
- The tropical analogue of the Helton-Nie conjecture is true (Q1994125) (← links)
- Finitely generated groups are universal among finitely generated structures (Q2003917) (← links)
- Ax-Schanuel and strong minimality for the \(j\)-function (Q2003923) (← links)
- Hyperbolicity and cubulability are preserved under elementary equivalence (Q2004522) (← links)
- Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition (Q2007877) (← links)
- How to avoid a compact set (Q2014009) (← links)
- Correspondence, canonicity, and model theory for monotonic modal logics (Q2021573) (← links)
- Independence and simplicity in Jonsson theories with abstract geometry (Q2033342) (← links)
- Strongly minimal groups in o-minimal structures (Q2039606) (← links)
- Subfields of a real closed field of countable codimension (Q2040533) (← links)
- Two facts on model theory for divisible rigid groups (Q2055315) (← links)
- On the motivic oscillation index and bound of exponential sums modulo \(p^m\) via analytic isomorphisms (Q2065077) (← links)
- Quantifier-free epistemic term-modal logic with assignment operator (Q2067514) (← links)
- Elementary subgroups of virtually free groups (Q2076082) (← links)
- Boosting isomorphic model filtering with invariants (Q2079277) (← links)
- Quantifier elimination on some pseudo-algebraically closed valued fields (Q2084961) (← links)
- A boundedness principle for the Hjorth rank (Q2118176) (← links)
- Independent sets in algebraic hypergraphs (Q2119362) (← links)
- Structure and regularity for subsets of groups with finite VC-dimension (Q2119373) (← links)
- Strong eventual consistency of the collaborative editing framework WOOT (Q2121065) (← links)
- Homogeneity in virtually free groups (Q2164419) (← links)
- Automata and tame expansions of \((\mathbb{Z}, +)\) (Q2164435) (← links)
- On expansions of \((\mathbf{Z},+,0)\) (Q2187266) (← links)
- On decidable categoricity and almost prime models (Q2203434) (← links)
- On theory of regular languages with the Kleene star operation (Q2211370) (← links)
- The property of being a model complete theory is preserved by Cartesian extensions (Q2212696) (← links)
- A model theoretic solution to a problem of László Fuchs (Q2214124) (← links)
- Lorentzian polynomials (Q2215805) (← links)
- Infinite lexicographic products (Q2238126) (← links)
- Applications of algebraic combinatorics to algebraic geometry (Q2243179) (← links)
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense (Q2250551) (← links)
- Isotypeness of models and knowledge bases equivalence (Q2254092) (← links)
- On non-deterministic quantification (Q2254562) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- Indecomposability for differential algebraic groups (Q2259195) (← links)
- On the notions of indiscernibility and indeterminacy in the light of the Galois-Grothendieck theory (Q2263065) (← links)
- A bound for orders in differential Nullstellensatz (Q2267443) (← links)
- A survey of homogeneous structures (Q2275386) (← links)
- Pro-aperiodic monoids via saturated models (Q2279939) (← links)
- Existentially closed de Morgan algebras (Q2283061) (← links)
