On the category of models of a complete theory

DOI10.2307/2273140zbMath0498.03019OpenAlexW1968599719MaRDI QIDQ3962974

Daniel Lascar

Publication date: 1982

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273140

zbMATH Keywords

first-order theorytopospretoposautomorphism groups of saturated modelsevaluation functorGalois group of a theorynatural quotient

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categoricity and completeness of theories (03C35)

Related Items (18)

Simple homogeneous models ⋮ The cofinality of the saturated uncountable random graph ⋮ A counterexample to the reconstruction of \(\omega\)-categorical structures from their endomorphism monoid ⋮ Simple theories ⋮ The Lascar group and the strong types of hyperimaginaries ⋮ Automorphism groups over a hyperimaginary ⋮ On the Descriptive Power of Probability Logic ⋮ Omega-categoricity, relative categoricity and coordinatisation ⋮ Full Continuous Embeddings of Toposes ⋮ Amenability, definable groups, and automorphism groups ⋮ Les beaux automorphismes. (The beautiful automorphisms) ⋮ Hereditary G-compactness ⋮ Ax's theorem with an additive character ⋮ GALOIS GROUPS OF FIRST ORDER THEORIES ⋮ Automorphism groups of finite topological rank ⋮ Strongly determined types ⋮ CLASSIFYING SPACES AND THE LASCAR GROUP ⋮ A countably categorical theory which is not \(G\)-compact

This page was built for publication: On the category of models of a complete theory