Inconsistent models of arithmetic part II: The general case

Journal of Symbolic Logic

Volumn 65, Issue 4, 2000, Pages 1519-1529

  Priest, Graham ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034559831     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2695062     Document Type: Article

References (8)

1. J. L. BELL and A. SLOMSON, Models and Ultraproducts: an Introduction, North Holland, Amsterdam, 1969.
2. R. KAYE, Models of Peano Arithmetic, Clarendon Press, Oxford, 1991.
3. C. MORTENSEN, Inconsistent Mathematics, Kluwer Academic Publishers, Dordrecht, 1995.
4. G. PRIEST, On Alternative Geometries, Arithmetics and Logics; a Tribute to Łukasiewicz, Proceedings of the Conference Łukasiewicz in Dublin, 1996 (M. Baghramian, editor), to appear.
5. _, In Contradiction, Martinus Nijhoff, the Hague, 1987.
6. _, Is Arithmetic Consistent?, Mind, vol. 103 (1994), pp. 337-49.
7. _, Inconsistent Models of Arithmetic, Part I: Finite Models, Journal of Philosophical Logic, vol. 26 (1997), pp. 223-35.
8. J.-P. VAN BENDEGEM, Strict, Yet Rich Finitism, First International Symposium on Gödel's Theorems (W. Wolkowski, editor), World Scientific Press, Singapore, 1993, pp. 61-79.