Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Invariance and Definability, with and without equality

Artikel i vetenskaplig tidskrift
Författare Dennis Bonnay
Fredrik Engström
Publicerad i Notre Dame Journal of Formal Logic
ISSN 0029-4527
Publiceringsår 2017
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Språk en
Länkar dx.doi.org/10.1215/00294527-2017-00...
Ämnesord generalized quantifiers infinite languages invariance definability automorphism groups equality-free languages
Ämneskategorier Matematisk logik, Logik

Sammanfattning

The dual character of invariance under transformations and definability by some operations has been used in classical works 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 article, we generalize a correspondence due to Krasner between invariance under groups of permutations and definability in L∞∞L∞∞ 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∞∞L∞∞ as a particular case. We also prove some optimality results along the way, regarding the kinds of relations which are needed so that every subgroup of the full permutation group is characterizable as a group of automorphisms.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?