To the top

Page Manager: Webmaster
Last update: 9/11/2012 3:13 PM

Tell a friend about this page
Print version

A Barwise-Schlipf Theorem… - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

A Barwise-Schlipf Theorem for Set Theory

Working paper
Authors Ali Enayat
Publication year 2020
Published at Department of Philosophy, Linguistics and Theory of Science
Language en
Links https://arxiv.org/abs/2001.09243
Subject categories Mathematical logic, Logic

Abstract

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.

Page Manager: Webmaster|Last update: 9/11/2012
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?