Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Non-permutation invariant… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Non-permutation invariant Borel quantifiers

Artikel i övriga tidskrifter
Författare Fredrik Engström
Philipp Schlicht
Publicerad i Insitut Mittag-Leffler preprint serie
Nummer/häfte REPORT No. 23, 2009/2010
Sidor 10
ISSN 1103-467X
Publiceringsår 2010
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Sidor 10
Språk en
Länkar www.mittag-leffler.se/preprints/fil...
Ämneskategorier Matematisk logik, Logik

Sammanfattning

Every permutation invariant Borel subset of the space of countable structures is definable in $\La_{\omega_1\omega}$ by a theorem of Lopez-Escobar. We prove variants of this theorem relative to fixed relations and fixed non-permutation invariant quantifiers. Moreover we show that for every closed subgroup $G$ of the symmetric group $S_{\infty}$, there is a closed binary quantifier $Q$ such that the $G$-invariant subsets of the space of countable structures are exactly the $\La_{\omega_1\omega}(Q)$-definable sets.

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?