Invariance and definability, with and without equality

DOI10.1215/00294527-2017-0020zbMATH Open1455.03003arXiv1308.1565OpenAlexW1620795478MaRDI QIDQ1704087FDOQ1704087

Authors: Denis Bonnay, Fredrik Engström 

Publication date: 8 March 2018

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

Abstract: The dual character of invariance under transformations and definability by some operations has been used in classical work by for example Galois and Klein. Following Tarski, philosophers of logic have claimed that logical notions themselves could be characterized in terms of invariance. In this paper, we generalize a correspondence due to Krasner between invariance under groups of permutations and definability in $L{a}_{inftyinfty}$ so as to cover the cases (quantifiers, logics without equality) that are of interest in the logicality debates, getting McGee's theorem about quantifiers invariant under all permutations and definability in pure $L{a}_{inftyinfty}$ as a particular case. We also prove some optimality results along the way, regarding the kind of relations which are needed so that every subgroup of the full permutation group is characterizable as a group of automorphisms.

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

Recommendations

• Logicality and Invariance
• On automorphisms of arbitrary mathematical systems
• Logical operations and invariance
• Set-theoretical invariance criteria for logicality
• scientific article; zbMATH DE number 1088200

zbMATH Keywords

invariancedefinabilityautomorphism groupsgeneralized quantifiersequality-free languagesinfinite languages

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On elementary equivalence for equality-free logic
• Logicality and Invariance
• Logic, logics, and logicism
• The bounds of logic. A generalized viewpoint
• What are logical notions?
• Definability and invariance
• Weak forms of elimination of imaginaries
• Logical operations
• Set-theoretical invariance criteria for logicality
• Logical operations and invariance
• Title not available (Why is that?)
• Example of a proper subgroup of 𝑆_{∞} which has a set-transitivity property
• Title not available (Why is that?)
• 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

Cited In (9)

• Definability in infinitary languages and invariance by automorphims
• Mutual definability does not imply definitional equivalence, a simple example
• Title not available (Why is that?)
• On automorphisms of arbitrary mathematical systems
• Definability and invariance
• Logical constants and arithmetical forms
• MAXIMALITY OF LOGIC WITHOUT IDENTITY
• Sameness
• Invariance and non-determinacy

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

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