A course in model theory
From MaRDI portal
Publication:2879568
zbMATH Open1245.03002MaRDI QIDQ2879568FDOQ2879568
Authors: Katrin Tent, Martin Ziegler 
Publication date: 28 March 2012
Published in: Lecture Notes in Logic (Search for Journal in Brave)
Recommendations
Classical first-order logic (03B10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Model theory (03Cxx)
Cited In (only showing first 100 items - show all)
- Groups definable in two orthogonal sorts
- Tropical spectrahedra
- Topological dynamics of unordered Ramsey structures
- Book review of: K. Tent and M. Ziegler, A course in model theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Model theory of finite and pseudofinite groups
- On some dynamical aspects of NIP theories
- Discrete metric spaces: structure, enumeration, and 0-1 laws
- Model theoretic properties of the Urysohn sphere
- Beyond first order model theory
- Some model theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$
- The Kim-Pillay theorem for abstract elementary categories
- Exact saturation in simple and NIP theories
- Some remarks on dp-minimal groups
- On the complexity of finite subgraphs of the curve graph
- Model theoretic dynamics in Galois fashion
- RAMSEY’S COHEIRS
- Title not available (Why is that?)
- Interpretable groups in Mann pairs
- Generalized Picard-Vessiot extensions and differential Galois cohomology
- AN AXIOMATIC APPROACH TO FREE AMALGAMATION
- Invariant types in NIP theories
- Stable formulas in ordered structures
- Strongly transitive multiple trees.
- Existentially closed de Morgan algebras
- Differential fields and geodesic flows. I: Orthogonality to the constants for autonomous differential equations
- Generic expansions by a reduct
- Model theory in algebra, analysis and arithmetic: a preface
- Tree indiscernibilities, revisited
- Tame expansions of \({\omega}\)-stable theories and definable groups
- Strong density of definable types and closed ordered differential fields
- Model theory
- Existentially closed fields with finite group actions
- Separation for isometric group actions and hyperimaginary independence
- New simple groups with a BN-pair.
- A model-theoretic note on the Freiman-Ruzsa theorem
- A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
- Stable forking and imaginaries
- A Vietoris-Smale mapping theorem for the homotopy of hyperdefinable sets
- The Borel cardinality of Lascar strong types
- Sets, groups, and fields definable in vector spaces with a bilinear form
- A dependent theory with few indiscernibles
- Algebraic numbers with elements of small height
- Definability of derivations in the reducts of differentially closed fields
- Homogenizable structures and model completeness
- Lectures on Infinitary Model Theory
- Fraïssé structures with universal automorphism groups
- Set Theory and Structures
- Eberlein oligomorphic groups
- Functoriality and uniformity in Hrushovski's groupoid-cover correspondence
- Generic expansion of an abelian variety by a subgroup
- A guide to classical and modern model theory
- Automorphism groups of finite topological rank
- A Course on Basic Model Theory
- Formulas and properties for families of theories of abelian groups
- Distality for the asymptotic couple of the field of logarithmic transseries
- Model-theoretic Elekes–Szabó in the strongly minimal case
- Elementary classes of finite VC-dimension
- Discrete subgroups of locally definable groups
- On differential Galois groups of strongly normal extensions
- EQUIVALENCE RELATIONS INVARIANT UNDER GROUP ACTIONS
- On uniform definability of types over finite sets for NIP formulas
- The dynamical hierarchy for Roelcke precompact Polish groups
- CLASSIFYING SPACES AND THE LASCAR GROUP
- A note on pseudofinite groups of finite centraliser dimension
- Groupoids and relative internality
- Polish groups and Baire category methods
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
- Schanuel type conjectures and disjointness
- A conjectural classification of strongly dependent fields
- Solving equation systems in ω-categorical algebras
- Constraint satisfaction problems for reducts of homogeneous graphs
- On the virtue of categoricity
- On non-forking spectra
- Title not available (Why is that?)
- Maximal hyperbolic towers and weight in the theory of free groups
- Supersimple \(\omega\)-categorical theories and pregeometries
- Building-like geometries of finite Morley rank
- Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists
- Encoding complete metric structures by classical structures
- \(\mathrm{SOP}_1\), \(\mathrm{SOP}_2\), and antichain tree property
- Burden of Henselian valued fields in the Denef-Pas language
- Topological fields with a generic derivation
- BOOLEAN TYPES IN DEPENDENT THEORIES
- Bounded ultraimaginary independence and its total Morley sequences
- Variations of rigidity for ordered theories
- A model-theoretic study of right-angled buildings
- Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension
- MULTIDIMENSIONAL EXACT CLASSES, SMOOTH APPROXIMATION AND BOUNDED 4-TYPES
- Exact saturation in pseudo-elementary classes for simple and stable theories
- AN EXPOSITION OF THE COMPACTNESS OF
- Co-theory of sorted profinite groups for PAC structures
- Onn-dependent groups and fields II
- Minimality conditions, topologies, and ranks for spherically ordered theories
- Maximal equivariant compactification of the Urysohn spaces and other metric structures
- Dp-minimal integral domains
- Very ampleness in strongly minimal sets
- On the model theory of open generalized polygons
- NIP ω$\omega$‐categorical structures: The rank 1 case
This page was built for publication: A course in model theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879568)
