๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Classifying topoi and the axiom of infinity

โœ Scribed by Andreas Blass

Book ID
105120122
Publisher
Springer
Year
1989
Tongue
English
Weight
240 KB
Volume
26
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

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