Definability and automorphisms in abstract logics

DOI10.1007/s00153-004-0248-9zbMath1069.03030OpenAlexW2001662983MaRDI QIDQ1762731

Xavier Caicedo

Publication date: 11 February 2005

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-004-0248-9

zbMATH Keywords

automorphismsdefinabilitymodel-theoretic logicnon-rigid modelsuniform reduction

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Abstract model theory (03C95)

Cites Work

• The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics
• Remarks in abstract model theory
• Models of axiomatic theories admitting automorphisms
• Finite Axiomatizability using additional predicates
• Model theory for infinite quantifier languages
• Interpolation, compactness and JEP in soft model theory
• Automorphism properties of stationary logic
• On the Failure of the Weak Beth Property
• On Extensions of Elementary Logic
• Infinitary analogs of theorems from first order model theory
• On models with large automorphism groups
• Unnamed Item
• Unnamed Item

This page was built for publication: Definability and automorphisms in abstract logics