Analysis Without Actual Infinity
Mycielski, Jan
J. Symbolic Logic, Tome 46 (1981) no. 1, p. 625-633 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We define a first-order theory FIN which has a recursive axiomatization and has the following two properties. Each finite part of FIN has finite models. FIN is strong enough to develop that part of mathematics which is used or has potential applications in natural science. This work can also be regarded as a consistency proof of this hitherto informal part of mathematics. In FIN one can count every set; this permits one to prove some new probabilistic theorems.
Publié le : 1981-09-14
Classification:  
@article{1183740834,
     author = {Mycielski, Jan},
     title = {Analysis Without Actual Infinity},
     journal = {J. Symbolic Logic},
     volume = {46},
     number = {1},
     year = {1981},
     pages = { 625-633},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183740834}
}

Mycielski, Jan. Analysis Without Actual Infinity. J. Symbolic Logic, Tome 46 (1981) no. 1, pp.  625-633. http://gdmltest.u-ga.fr/item/1183740834/