✦ LIBER ✦

The cumulative hierarchy and the constructible universe of ZFA

✍ Scribed by Matteo Viale

Publisher: John Wiley and Sons
Year: 2004
Tongue: English
Weight: 116 KB
Volume: 50
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.200310080

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We present two results which shed some more light on the deep connection between ZFA and the standard ZF set theory: First of all we refine a result of Forti and Honsell (see [5]) in order to prove that the universe of ZFA can also be obtained (without appealing to choice) as the least fixed point of a continuous operator and not only as the greatest fixed point of the powerset operator. Next we show that it is possible to define a new absolute Gödel operation in addition to the standard ones in order to obtain the “constructible” model of ZFA as the least fixed point of the continuous operator of Gödel closure with respect to the standard and the new Gödel operations. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

A simplified functorial construction of

A simplified functorial construction of the veblen hierarchy

✍ Andreas Weiermann 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 222 KB

## Abstract We give a simple and elementary proof of the following result of Girard and Vauzeilles which is proved in [5]: “The binary Veblen function ψ: __On × On — On__ is a dilator.” Our proof indicates the intimate connection between the traditional theory of ordinal notation systems and Girard

The fine structure of the constructible

The fine structure of the constructible hierarchy: R. Björn Jensen, Annals of Mathematical Logic 4 (1972) pp. 229–308

📂 Article 📅 1972 🏛 Elsevier Science ⚖ 15 KB

On page 230, 11 th line from the bottom, reference is made to "Soare", This should be changed to "Richard Shore of M.I.f.".

The hierarchy of GAAP

✍ Oscar J. Holzmann; Tom Robinson 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 41 KB

University of Miami, where he teaches financial accounting and financial statement analysis courses. He has won teaching awards and has published in academic and professional journals. He chairs the Board of Directors' Audit Committee of BFC Financial Corp. Tom Robinson, PhD, CPA, CFP, CFA, is an as

Somatic mutations and the hierarchy of h

Somatic mutations and the hierarchy of hematopoiesis

✍ Arne Traulsen; Jorge M. Pacheco; Lucio Luzzatto; David Dingli 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 320 KB 👁 2 views

Homology and the hierarchy of biological

Homology and the hierarchy of biological systems

✍ Ralf J. Sommer 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 188 KB 👁 1 views

## Abstract Homology is the similarity between organisms due to common ancestry. Introduced by Richard Owen in 1843 in a paper entitled “Lectures on comparative anatomy and physiology of the invertebrate animals”, the concept of homology predates Darwin's “Origin of Species” and has been very influ

Theory of Gravitational-Inertial Field o

Theory of Gravitational-Inertial Field of Universe. IV. The Universe and the Microcosm

✍ Prof. Dr. O. K. Davtyan 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 797 KB