Definability and automorphisms in abstract logics

DOI10.1007/S00153-004-0248-9MaRDI QIDQ1762731zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 22348
• STACS 2004
• scientific article; zbMATH DE number 1531936
• Definability in infinitary languages and invariance by automorphims
• Abstract logics, logic maps, and logic homomorphisms
• Automorphisms of the lattice of classical modal logics
• Definability and automorphism groups
• scientific article; zbMATH DE number 605244
• Intuitionistic logic and implicit definability
• Definability and transformations for cost logics and automatic structures

Cites work

• scientific article; zbMATH DE number 3880666 (Why is no real title available?)
• scientific article; zbMATH DE number 3269854 (Why is no real title available?)
• Automorphism properties of stationary logic
• Finite Axiomatizability using additional predicates
• Infinitary analogs of theorems from first order model theory
• Interpolation, compactness and JEP in soft model theory
• Model theory for infinite quantifier languages
• Models of axiomatic theories admitting automorphisms
• On Extensions of Elementary Logic
• On models with large automorphism groups
• On the Failure of the Weak Beth Property
• Remarks in abstract model theory
• The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics

Cited in

(4)

• Abstract logics, logic maps, and logic homomorphisms
• Automorphisms, negations and implication operators
• The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics
• Remarks in abstract model theory

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1762731)