Set theoretical analogues of the Barwise-Schlipf theorem

preprint2022arXivOpen access

We characterize nonstandard models of ZF (of arbitrary cardinality) that can be expanded to Goedel-Bernays class theory plus $Δ^1_1$ -Comprehension. We also characterize countable nonstandard models of ZFC that can be expanded to Goedel-Bernays class theory plus $Σ^1_1$ -Choice.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Write a reviewWrite

No reviews yet.

Add a commentWrite

No comments yet.

Set theoretical analogues of the Barwise-Schlipf theorem

Abstract

Connections

Building this map preview

Reviews 0

Discussion 0