- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Open arithmetic and its nonstandard models
Journal of Symbolic Logic 56 (2):700-714 (1991)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
The intersection of nonstandard models of arithmetic.Andreas Blass - 1972 - Journal of Symbolic Logic 37 (1):103-106.
Addition in nonstandard models of arithmetic.R. Phillips - 1972 - Journal of Symbolic Logic 37 (3):483-486.
Recursively saturated nonstandard models of arithmetic.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):259-286.
Recursively saturated nonstandard models of arithmetic; addendum.C. Smoryński - 1982 - Journal of Symbolic Logic 47 (3):493-494.
The Bass-milnor-serre theorem for nonstandard models in peano arithmetic.Anatole Khelif - 1993 - Journal of Symbolic Logic 58 (4):1451-1458.
The Bass-Milnor-Serre Theorem for Nonstandard Models in Peano Arithmetic.Anatole Khelif - 1994 - Journal of Symbolic Logic 59 (4):1451-1458.
Nonstandard models in recursion theory and reverse mathematics.C. T. Chong, Wei Li & Yue Yang - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
A Note on Subsystems of Open Induction.Shahram Mohsenipour - 2007 - Journal of Symbolic Logic 72 (4):1318 - 1322.
Nonstandard models in recursion theory and reverse mathematics.C. T. Chong, Wei Li & Yue Yang - 2014 - Bulletin of Symbolic Logic 20 (2):170-200.
Regularity in models of arithmetic.George Mills & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):272-280.
Analytics
Added to PP
2014-04-06
Downloads
16 (#908,022)
6 months
16 (#218,157)
2014-04-06
Downloads
16 (#908,022)
6 months
16 (#218,157)
Historical graph of downloads
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-xdvnm uwo