Till sidans topp

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

Tipsa en vän
Utskriftsversion

A Barwise-Schlipf Theorem… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

A Barwise-Schlipf Theorem for Set Theory

Working paper
Författare Ali Enayat
Publiceringsår 2020
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Språk en
Länkar https://arxiv.org/abs/2001.09243
Ämneskategorier Matematisk logik, Logik

Sammanfattning

We characterize nonstandard models of ZF (Zermelo-Fraenkel) set theory (of arbitrary cardinality) that can be expanded to a model of Goedel-Bernays class theory plus Δ^1_1-Comprehension. We also characterize countable nonstandard models of ZFC (ZF with the axiom of choice) that can be expanded to a model of Goedel-Bernays class theory plus Σ^1_1-Choice.

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?