A theory of hyperfinite sets

&
Annals of Pure and Applied Logic 143 (1-3):3-19 (2006)
  Copy   BIBTEX

Abstract

We develop an axiomatic set theory — the Theory of Hyperfinite Sets THS— which is based on the idea of the existence of proper subclasses of large finite sets. We demonstrate how theorems of classical continuous mathematics can be transfered to THS, prove consistency of THS, and present some applications

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2006.01.005

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,063

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

Descriptive set theory over hyperfinite sets.H. Jerome Keisler, Kenneth Kunen, Arnold Miller & Steven Leth - 1989 - Journal of Symbolic Logic 54 (4):1167-1180.
Some results about borel sets in descriptive set theory of hyperfinite sets.Boško Živaljević - 1990 - Journal of Symbolic Logic 55 (2):604-614.
Large sets in intuitionistic set theory.Harvey Friedman & Andrej Ščedrov - 1984 - Annals of Pure and Applied Logic 27 (1):1-24.
On some definable sets over fields with analytic structure.Y. Fırat Çelı̇kler - 2010 - Annals of Pure and Applied Logic 161 (4):599-616.
The structure of the honest polynomial m-degrees.Rod Downey, William Gasarch & Michael Moses - 1994 - Annals of Pure and Applied Logic 70 (2):113-139.
Independence-friendly logic and axiomatic set theory.Jaakko Hintikka - 2004 - Annals of Pure and Applied Logic 126 (1-3):313-333.
Narrow coverings of ω-ary product spaces.Randall Dougherty - 1997 - Annals of Pure and Applied Logic 88 (1):47-91.
The Incompleteness of Theories of Games.Marcelo Tsuji, Newton C. A. Da Costa & Francisco A. Doria - 1998 - Journal of Philosophical Logic 27 (6):553 - 568.
The incompleteness of theories of games.Marcelo Tsuji, Newton C. A. Costa & Francisco A. Doria - 1998 - Journal of Philosophical Logic 27 (6):553-568.

Analytics

Added to PP
2013-12-31

Downloads
58 (#364,542)

6 months
13 (#242,190)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.
On the strength of nonstandard analysis.C. Ward Henson & H. Jerome Keisler - 1986 - Journal of Symbolic Logic 51 (2):377-386.
Internal Set Theory: A New Approach to Nonstandard Analysis.Edward Nelson - 1977 - Journal of Symbolic Logic 48 (4):1203-1204.

View all 10 references / Add more references