Pages that link to "Item:Q1572658"

The following pages link to A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein (Q1572658):

Displaying 45 items.

• Uniqueness of limit models in classes with amalgamation (Q2827950) (← links)
• Generically stable and smooth measures in NIP theories (Q2838068) (← links)
• Two remarks on polynomially bounded reducts of the restricted analytic field with exponentiation (Q2926250) (← links)
• Incompleteness Theorems, Large Cardinals, and Automata over Finite Words (Q2988824) (← links)
• Nullstellensatz over Quasifields (Q3113818) (← links)
• Quantifier elimination for elementary geometry and elementary affine geometry (Q3144868) (← links)
• Definable Valuations Induced by Definable Subgroups (Q3298248) (← links)
• Structural Ramsey theory of metric spaces and topological dynamics of isometry groups (Q3578251) (← links)
• Isometry groups of separable metric spaces (Q3598113) (← links)
• Stable groups and expansions of $(\mathbb Z,+,0)$ (Q4581991) (← links)
• DEFINABILITY OF DERIVATIONS IN THE REDUCTS OF DIFFERENTIALLY CLOSED FIELDS (Q4600454) (← links)
• (Q4668856) (← links)
• Embedded Picard–Vessiot extensions (Q4689801) (← links)
• Definable nilpotent and soluble envelopes in groups without the independence property (Q4928969) (← links)
• Amalgamation of types in pseudo-algebraically closed fields and applications (Q4973026) (← links)
• HOMOTOPY MODEL THEORY (Q5021916) (← links)
• HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
• ON NON-COMPACT <i>p</i>-ADIC DEFINABLE GROUPS (Q5070467) (← links)
• Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures (Q5071539) (← links)
• BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH (Q5099781) (← links)
• Definable topological dynamics for trigonalizable algebraic groups over Qp (Q5108870) (← links)
• Remarks on the NIP in a model (Q5109237) (← links)
• Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces (Q5119903) (← links)
• Forking and JSJ decompositions in the free group II (Q5141880) (← links)
• FIRST-ORDER RECOGNIZABILITY IN FINITE AND PSEUDOFINITE GROUPS (Q5148113) (← links)
• Pseudofinite groups and VC-dimension (Q5156474) (← links)
• Some model theory and topological dynamics of $p$-adic algebraic groups (Q5207326) (← links)
• Independence in Model Theory (Q5213644) (← links)
• Independence in randomizations (Q5223124) (← links)
• Model Theory in Algebra, Analysis and Arithmetic: A Preface (Q5256620) (← links)
• SOME DEFINABLE GALOIS THEORY AND EXAMPLES (Q5363370) (← links)
• Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words (Q5384126) (← links)
• Canonical forests in directed families (Q5418504) (← links)
• Groups, measures, and the NIP (Q5441374) (← links)
• Constraint Satisfaction Problems with Infinite Templates (Q5504704) (← links)
• A Myhill-Nerode theorem for register automata and symbolic trace languages (Q5918650) (← links)
• Exact saturation in pseudo-elementary classes for simple and stable theories (Q6038475) (← links)
• On minimal flows and definable amenability in some distal NIP theories (Q6040619) (← links)
• Bertini theorems for differential algebraic geometry (Q6061705) (← links)
• ON GROUPS WITH DEFINABLE <i>F</i>-GENERICS DEFINABLE IN <i>P</i>-ADICALLY CLOSED FIELDS (Q6180598) (← links)
• Two-step nilpotent extensions are not anabelian (Q6184106) (← links)
• Similarities of Hybrids from Jonsson Spectrum and $$\boldsymbol{S}$$-Acts (Q6497321) (← links)
• The isomorphism problem for oligomorphic groups with weak elimination of imaginaries (Q6593635) (← links)
• On countable isotypic structures (Q6601471) (← links)
• Remarks on convergence of Morley sequences (Q6642887) (← links)