𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Axiomatic set theory: impredicative theories of classes

✍ Scribed by R. Chuaqui

Book ID
127453672
Publisher
North-Holland
Year
1981
Tongue
English
Weight
2 MB
Series
Notas de matematica 78 North-Holland mathematics studies 51
Category
Library
City
Amsterdam; New York
ISBN
0080871623

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Axiomatic Set Theory
Axiomatic Set Theory
✍ Gaisi Takeuti, Wilson M. Zaring (auth.) πŸ“‚ Library πŸ“… 1973 πŸ› Springer 🌐 English βš– 1 MB

This text deals with three basic techniques for constructing models of Zermelo-Fraenkel set theory: relative constructibility, Cohen's forcing, and Scott-Solovay's method of Boolean valued models. Our main concern will be the development of a unified theory that encompasses these techniques in one c

Pointless axiomatic set theory
Pointless axiomatic set theory
✍ Hidegoro Nakano πŸ“‚ Article πŸ“… 1970 πŸ› Springer 🌐 English βš– 573 KB
An axiomatic set theory
An axiomatic set theory
✍ Hidegoro Nakano πŸ“‚ Article πŸ“… 1970 πŸ› Springer 🌐 English βš– 604 KB
Extending constructive operational set t
Extending constructive operational set theory by impredicative principles
✍ Andrea Cantini πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 200 KB

We study constructive set theories, which deal with (partial) operations applying both to sets and operations themselves. Our starting point is a fully explicit, finitely axiomatized system ESTE of constructive sets and operations, which was shown in [10] to be as strong as PA. In this paper we cons

Introduction to Axiomatic Set Theory
Introduction to Axiomatic Set Theory
✍ Gaisi Takeuti, Wilson M. Zaring (auth.) πŸ“‚ Library πŸ“… 1982 πŸ› Springer 🌐 English βš– 2 MB

In 1963, the first author introduced a course in set theory at the University of Illinois whose main objectives were to cover Godel's work on the conΒ­ sistency of the Axiom of Choice (AC) and the Generalized Continuum Hypothesis (GCH), and Cohen's work on the independence of the AC and the GCH. Note