Invariance and definability, with and without equality
From MaRDI portal
Publication:1704087
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
invarianceautomorphism groupsdefinabilitygeneralized quantifiersequality-free languagesinfinite languages
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)
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