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

Largest initial segments pointwise fixed by automorphisms of models of set theory

Artikel i vetenskaplig tidskrift
Författare Ali Enayat
Matt Kaufmann
Zachiri McKenzie
Publicerad i Archive for Mathematical Logic
Sidor 1-49
ISSN 09335846
Publiceringsår 2017
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Sidor 1-49
Språk en
Länkar dx.doi.org/10.1007/s00153-017-0582-...
Ämnesord Automorphisms, Models of set theory, Recursively saturated
Ämneskategorier Matematisk logik, Logik

Sammanfattning

Given a model M of set theory, and a nontrivial automorphism j of M, let I_fix(j) be the submodel of M whose universe consists of elements m of M such that j(x)=x for every x in the transitive closure of m (where the transitive closure of m is computed within M. Here we study models of the form I_fix(j) and characterize their first order theory.

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?