Definability properties and the congruence closure

DOI10.1007/BF01792985zbMath0733.03029OpenAlexW2127288437MaRDI QIDQ810007

Xavier Caicedo

Publication date: 1990

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

Full work available at URL: https://doi.org/10.1007/bf01792985

zbMATH Keywords

generalized quantifierindiscerniblescardinality quantifiersBeth's definability theorem\(\Delta \) -interpolation theoremcofinality quantifiersLindström quantifierRamsey quantifiersthin quantifieruniform reduction property for quotients

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)

Related Items (1)

MAXIMALITY OF LOGIC WITHOUT IDENTITY

Cites Work

• Unnamed Item
• Unnamed Item
• Vector spaces and binary quantifiers
• Remarks in abstract model theory
• Stationary logic and its friends. I
• Stationary logic and its friends. II
• Definability hierarchies of generalized quantifiers
• Beth's theorem in cardinality logics
• Vopěnka's principle and compact logics
• A simple solution to Friedman's fourth problem
• Notion of Interpretation and Nonelementary Languages
• Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
• The theorems of beth and Craig in abstract model theory II. Compact logics
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
• Generalized Quantifiers and Compact Logic

This page was built for publication: Definability properties and the congruence closure