The following pages link to Model Theory (Q4779973):
Displaying 50 items.
- Infinite Paley graphs (Q4958983) (← links)
- THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES (Q4977215) (← links)
- DECIDABLE ALGEBRAIC FIELDS (Q4977216) (← links)
- $3$-Manifold Groups are Virtually Residually $p$ (Q4979142) (← links)
- Bounds on Scott ranks of some polish metric spaces (Q4991907) (← links)
- On<i>n</i>-dependent groups and fields II (Q4992402) (← links)
- Non-∀-homogeneity in free groups (Q4993937) (← links)
- Diophantine problems in solvable groups (Q4997864) (← links)
- (Q5005133) (← links)
- Quantum Measurements from a Logical Point of View (Q5015190) (← links)
- Algebraic Logic and Knowledge Bases (Q5015962) (← links)
- The Diophantine problem in the classical matrix groups (Q5033989) (← links)
- IN MEMORIAM: MICHAEL MORLEY, 1930–2020 (Q5037524) (← links)
- Nullstellensatz via Nonstandard Methods (Q5038216) (← links)
- On maps which preserve semipositivity and quantifier elimination theory for real numbers (Q5065095) (← links)
- AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS (Q5067872) (← links)
- ON NON-COMPACT <i>p</i>-ADIC DEFINABLE GROUPS (Q5070467) (← links)
- (Q5079750) (← links)
- ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC (Q5085859) (← links)
- Random Subgroups of Rationals (Q5092384) (← links)
- Odoni’s conjecture on arboreal Galois representations is false (Q5097321) (← links)
- Multi-experiment Parameter Identifiability of ODEs and Model Theory (Q5097685) (← links)
- Ascending chains of ideals in the polynomial ring (Q5099835) (← links)
- ON MORITA EQUIVALENCE AND INTERPRETABILITY (Q5107539) (← links)
- Random ℓ‐colourable structures with a pregeometry (Q5108087) (← links)
- A note on prime models in weakly o‐minimal structures (Q5108094) (← links)
- Decreasing sentences in Simple Type Theory (Q5108113) (← links)
- Constructing quasiminimal structures (Q5108120) (← links)
- Rigid models of Presburger arithmetic (Q5108850) (← links)
- Definable topological dynamics for trigonalizable algebraic groups over Qp (Q5108870) (← links)
- On elimination of quantifiers in some non‐classical mathematical theories (Q5109215) (← links)
- On differential Galois groups of strongly normal extensions (Q5109216) (← links)
- Categoricity and universal classes (Q5109239) (← links)
- Definable V-topologies, Henselianity and NIP (Q5118049) (← links)
- The classification of countable models of set theory (Q5119907) (← links)
- A geometric model of an arbitrary differentially closed field of characteristic zero (Q5141765) (← links)
- Forking and JSJ decompositions in the free group II (Q5141880) (← links)
- CODING IN GRAPHS AND LINEAR ORDERINGS (Q5148104) (← links)
- DECIDABILITY OF THE RESTRICTED THEORIES OF A CLASS OF PARTIAL ORDERS (Q5151271) (← links)
- Zarankiewicz’s problem for semilinear hypergraphs (Q5154785) (← links)
- Model-theoretic Elekes–Szabó in the strongly minimal case (Q5156469) (← links)
- Axiomatizing Boolean Differentiation (Q5157440) (← links)
- Logically automorphically equivalent knowledge bases models (Q5157754) (← links)
- Formal language properties of hybrid systems with strong resets (Q5190079) (← links)
- DISCRETE METRIC SPACES: STRUCTURE, ENUMERATION, AND 0-1 LAWS (Q5207554) (← links)
- FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS (Q5216980) (← links)
- Metric dimensions and tameness in expansions of the real field (Q5217853) (← links)
- A THEORY OF PAIRS FOR NON-VALUATIONAL STRUCTURES (Q5222529) (← links)
- DEFINABLY SIMPLE STABLE GROUPS WITH FINITARY GROUPS OF AUTOMORPHISMS (Q5222531) (← links)
- Geometric view on homogeneous groups (Q5239104) (← links)
