Non Standard Regular Finite Set Theory

&
Mathematical Logic Quarterly 41 (2):161-172 (1995)
  Copy   BIBTEX

Abstract

We propose a set theory, called NRFST, in which the Cantorian axiom of infinity is negated, and a new notion of infinity is introduced via non standard methods, i. e. via adequate notions of standard and internal, two unary predicates added to the language of ZF. After some initial results on NRFST, we investigate its relative consistency with respect to ZF and Kawai's WNST

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19950410203

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

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

Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
Extending standard models of ZFC to models of nonstandard set theories.Vladimir Kanovei & Michael Reeken - 2000 - Studia Logica 64 (1):37-59.
Standard quantification theory in the analysis of English.Stephen Donaho - 2002 - Journal of Philosophical Logic 31 (6):499-526.
Substandard models of finite set theory.Laurence Kirby - 2010 - Mathematical Logic Quarterly 56 (6):631-642.
Transitive indistinguishability and approximate measurement with standard finite ratio-scale representations.Patrick Suppes - 2006 - Journal of Mathematical Psychology 50:329-336.
The evolution of cooperation in the centipede game with finite populations.Rory Smead - 2008 - Philosophy of Science 75 (2):157-177.
A Note on Recursive Models of Set Theories.Domenico Zambella & Antonella Mancini - 2001 - Notre Dame Journal of Formal Logic 42 (2):109-115.
Non-standard models in a broader perspective.Haim Gaifman - manuscript
A necessary relation algebra for mereotopology.Ivo DÜntsch, Gunther Schmidt & Michael Winter - 2001 - Studia Logica 69 (3):381 - 409.
The standard model and beyond: Interrelation between theory and reality.Vladimir Slobodenyuk - unknown
Decisions as statistical evidence and Birnbaum's 'confidence concept'.John W. Pratt - 1977 - Synthese 36 (1):59 - 69.
No regrets, or: Edith piaf revamps decision theory.Frank Arntzenius - 2008 - Erkenntnis 68 (2):277-297.

Analytics

Added to PP
2013-12-01

Downloads
27 (#586,621)

6 months
4 (#776,943)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Realism, nonstandard set theory, and large cardinals.Karel Hrbacek - 2001 - Annals of Pure and Applied Logic 109 (1-2):15-48.
A theory of hyperfinite sets.P. V. Andreev & E. I. Gordon - 2006 - Annals of Pure and Applied Logic 143 (1-3):3-19.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

Add more references