An Euclidean measure of size for mathematical universes

Logique et Analyse

Volumn 50, Issue 197, 2007, Pages 43-62

  Benci, Vieri ^a   Di Nasso, Mauro ^a   Forti, Marco ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 60950683463     PISSN: 00245836     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (8)

1. V. BENCI, M. DI NASSO - Numerosities of labelled sets: a new way ofcounting, Adv. Math. 173 (2003), 50-67
2. V. BENCI, M. DI NASSO, M. FORTI - The eightfold path to NonstandardApplications in MathematicsAnalysis, in Nonstandard Methods and Applications in Mathematics (N.J. Cutland,M. Di Nasso, D.A. Ross, eds.), L.N. in Logic 143, A.S.L. 2006, 3-44
3. V. BENCI, M. DI NASSO, M. FORTI - An Aristotelian notion of size, AnnPure Appl. Logic 143 (2006), 43-53
4. C.C. CHANG, H.J. KEISLER - Model Theory (3rd edition), North-HollandAmsterdam 1990
5. M. DI NASSO, M. FORTI - Measuring finite dimensional point-sets, (inpreparation)
6. EUCLID - The Elements, T.L. Heath (translator), 2nd edition (reprint)Dover, New York, 1956
7. T. JECH - Set Theory (3rd edition), Springer, Berlin 2003
8. J.B. ROSSER - The Axiom of Infinity in NF, J. Symb. Logic 17 (1952)238-242