Skip to main content
Book Chapter

Church’s Set Theory with a Universal Set

  • Forster T
Springer Netherlands, (2001), 109-138
DOI: 10.1007/978-94-010-0526-5_4
N/ACitations
Citations of this article
14Readers
Mendeley users who have this article in their library.
Get full text

Abstract

A detailed and fairly elementary introduction is given to the techniques used by Church to prove the consistency of his set theory with a universal set by constructing models of it from models of ZF. The construction is explained and some general facts about it proved.

Cite

CITATION STYLE

APA

Forster, T. (2001). Church’s Set Theory with a Universal Set. In Logic, Meaning and Computation (pp. 109–138). Springer Netherlands. https://doi.org/10.1007/978-94-010-0526-5_4

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free