Invariance and definability, with and without equality

DOI10.1215/00294527-2017-0020zbMath1455.03003arXiv1308.1565OpenAlexW1620795478MaRDI QIDQ1704087

Fredrik Engström, Denis Bonnay

Publication date: 8 March 2018

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1308.1565

zbMATH Keywords

invarianceautomorphism groupsdefinabilitygeneralized quantifiersequality-free languagesinfinite languages

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)

Related Items (2)

MAXIMALITY OF LOGIC WITHOUT IDENTITY ⋮ Sameness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical operations and invariance
• Set-theoretical invariance criteria for logicality
• On elementary equivalence for equality-free logic
• Definability and invariance
• Remarque au sujet d' Une généralisation de la notion de Corps [J. de Math. 1938, 367-385 (1938)]
• Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion
• What are logical notions?
• Weak forms of elimination of imaginaries
• Logicality and Invariance
• Example of a proper subgroup of 𝑆_{∞} which has a set-transitivity property
• Logic, logics, and logicism
• Logical operations

This page was built for publication: Invariance and definability, with and without equality