✦ LIBER ✦

Hierarchies of constructible sets

✍ Scribed by Keith J. Devlin

Publisher: Elsevier Science
Year: 1977
Weight: 413 KB
Volume: 11
Category: Article
ISSN: 0003-4843
DOI: 10.1016/0003-4843(77)90017-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Complexity of Local Dimensions for C

The Complexity of Local Dimensions for Constructible Sets

✍ Pascal Koiran 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 130 KB

Construction of robust class hierarchies

✍ A. Frick; G. Goos; R. Neumann; W. Zimmermann 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 461 KB

This article discusses the problem of constructing robust class libraries. Further design criteria include the flexibility of class libraries, the efficiency of the implementations, and their safe extensibility. We show that it is possible to design robust libraries to satisfy any two of the require

A Constructive Algebraic Hierarchy in Co

A Constructive Algebraic Hierarchy in Coq

✍ Herman Geuvers; Randy Pollack; Freek Wiedijk; Jan Zwanenburg 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 276 KB

We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof of the fundamental theorem of algebra has been formalized in Coq. The algebraic hierarchy that is described here is both

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 cumulative hierarchy and the constru

The cumulative hierarchy and the constructible universe of ZFA

✍ Matteo Viale 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 116 KB

## 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

A Hierarchy of Models for Skala's Set Th

A Hierarchy of Models for Skala's Set Theory

✍ Martin Kühnrich; Konrad Schultz 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 288 KB 👁 1 views

has proposed a new axiomatic set theory, see [5], [4], and [3]. The nonlogical axioms of this theory are as follows: A2. Existence of a greatest lower set (gls A(%)):