𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Inconsistency of a Certain Axiom System for Set Theory

✍ Scribed by James D. Davis

Book ID
124972853
Publisher
Association for Symbolic Logic
Year
1972
Tongue
English
Weight
235 KB
Volume
37
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Note on Axiomatic Set Theory I. The Inde
Note on Axiomatic Set Theory I. The Independence of Zermelo's "Aussonderungsaxiom" from Other Axioms of Set Theoryby Toshio Nishimura;Note on Axiomatic Set Theory II. A Construction of a Model Satisfying the Axioms of set Theory without Zermelo's Aussonderungsaxiom in a certain axiom system of ordinal numbersby Toshio Nishimura
✍ Review by: Gert Heinz MΓΌller πŸ“‚ Article πŸ“… 1964 πŸ› Association for Symbolic Logic 🌐 English βš– 190 KB
A theory of sets with the negation of th
A theory of sets with the negation of the axiom of infinity
✍ Stefano Baratella; Ruggero Ferro πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 769 KB

## Abstract In this paper we introduce a theory of finite sets FST with a strong negation of the axiom of infinity asserting that every set is provably bijective with a natural number. We study in detail the role of the axioms of Power Set, Choice, Regularity in FST, pointing out the relative depen

THE DECISION PROBLEM FOR RESTRICTED UNIV
THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION
✍ Franco Parlamento; Alberto Policriti πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 775 KB

## Abstract The still unsettled decision problem for the restricted purely universal formulae ((βˆ€)~0~‐formulae) of the first order set‐theoretic language based over =, ∈ is discussed in relation with the adoption or rejection of the axiom of foundation. Assuming the axiom of foundation, the related