A theory of sets with the negation of the axiom of infinity

&
Mathematical Logic Quarterly 39 (1):338-352 (1993)
  Copy   BIBTEX

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 dependences or independences among them. FST is shown to be provably equivalent to a fragment of Alternative Set Theory. Furthermore, the introduction of FST is motivated in view of a non-standard development. MSC: 03E30, 03E35

Categories

Keywords

Reprint years

DOI

10.1002/malq.19930390138

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Finiteness Axioms on Fragments of Intuitionistic Set Theory.Riccardo Camerlo - 2007 - Notre Dame Journal of Formal Logic 48 (4):473-488.
Intuitionistic sets and numbers: small set theory and Heyting arithmetic.Stewart Shapiro, Charles McCarty & Michael Rathjen - forthcoming - Archive for Mathematical Logic.
Interpretations of the alternative set theory.A. Sochor - 1993 - Archive for Mathematical Logic 32 (6):391-398.
Non Standard Regular Finite Set Theory.Stefano Baratella & Ruggero Ferro - 1995 - Mathematical Logic Quarterly 41 (2):161-172.
The strength of extensionality I—weak weak set theories with infinity.Kentaro Sato - 2009 - Annals of Pure and Applied Logic 157 (2-3):234-268.
An axiomatic theory of well-orderings.Oliver Deiser - 2011 - Review of Symbolic Logic 4 (2):186-204.
Finitist set theory in ontological modeling.Avril Styrman & Aapo Halko - 2018 - Applied ontology 13 (2):107-133.
On the relative strengths of fragments of collection.Zachiri McKenzie - 2019 - Mathematical Logic Quarterly 65 (1):80-94.
Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs.Funmilola Balogun & Benedikt Löwe - forthcoming - Studia Logica:1-20.
On the strength of a weak variant of the axiom of counting.Zachiri McKenzie - 2017 - Mathematical Logic Quarterly 63 (1-2):94-103.

Analytics

Added to PP
2013-11-03

Downloads
52 (#298,807)

6 months
9 (#436,631)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Interpretations of Arithmetic and Set Theory.Richard Kaye & Tin Lok Wong - 2007 - Notre Dame Journal of Formal Logic 48 (4):497-510.
Hilbert arithmetic as a Pythagorean arithmetic: arithmetic as transcendental.Vasil Penchev - 2021 - Philosophy of Science eJournal (Elsevier: SSRN) 14 (54):1-24.
The Paradox of Classical Reasoning.Arkady Bolotin - 2022 - Foundations of Physics 52 (4):1-21.

Add more citations

References found in this work

A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
A Course in Mathematical Logic.J. L. Bell & M. Machover - 1978 - British Journal for the Philosophy of Science 29 (2):207-208.
Models of ZF-set theory.Ulrich Felgner - 1971 - New York,: Springer Verlag.

View all 6 references / Add more references