Journal of Symbolic Logic 81 (3):1163-1175 (2016)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1017/jsl.2015.52 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Fifty Years of Self-Reference in Arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (4):357-374.
Injecting Inconsistencies Into Models of Pa.Robert M. Solovay - 1989 - Annals of Pure and Applied Logic 44 (1-2):101-132.
On the Structure of Initial Segments of Models of Arithmetic.Jan Krajíček & Pavel Pudlák - 1989 - Archive for Mathematical Logic 28 (2):91-98.
Citations of this work BETA
Fermat’s Last Theorem Proved in Hilbert Arithmetic. I. From the Proof by Induction to the Viewpoint of Hilbert Arithmetic.Vasil Penchev - 2021 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 13 (7):1-57.
Similar books and articles
Some Remarks on Initial Segments in Models of Peano Arithmetic.Henryk Kotlarski - 1984 - Journal of Symbolic Logic 49 (3):955-960.
Interstitial and Pseudo Gaps in Models of Peano Arithmetic.Ermek S. Nurkhaidarov - 2010 - Mathematical Logic Quarterly 56 (2):198-204.
Iterations of Satisfaction Classes and Models of Peano Arithmetic.Roman Murawski - 1992 - Mathematical Logic Quarterly 38 (1):59-84.
Definable Sets and Expansions of Models of Peano Arithmetic.Roman Murawski - 1988 - Archive for Mathematical Logic 27 (1):21-33.
Relatively Recursively Enumerable Versus Relatively Σ1 in Models of Peano Arithmetic.Grzegorz Michalski - 1995 - Mathematical Logic Quarterly 41 (4):515-522.
Models Without Indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic.Nicholas Bamber & Henryk Kotlarski - 1997 - Mathematical Logic Quarterly 43 (4):525-540.
On the Structure of Kripke Models of Heyting Arithmetic.Zoran Marković - 1993 - Mathematical Logic Quarterly 39 (1):531-538.
Elementary Cuts in Saturated Models of Peano Arithmetic.James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (1):1-13.
Expanding the Additive Reduct of a Model of Peano Arithmetic.Masahiko Murakami & Akito Tsuboi - 2003 - Mathematical Logic Quarterly 49 (4):363-368.
Recursive Models and the Divisibility Poset.James H. Schmerl - 1998 - Notre Dame Journal of Formal Logic 39 (1):140-148.
Comparing Peano Arithmetic, Basic Law V, and Hume’s Principle.Sean Walsh - 2012 - Annals of Pure and Applied Logic 163 (11):1679-1709.
Regularity in Models of Arithmetic.George Mills & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):272-280.
On the Complexity of Models of Arithmetic.Kenneth McAloon - 1982 - Journal of Symbolic Logic 47 (2):403-415.
Analytics
Added to PP index
2018-02-09
Total views
7 ( #1,072,325 of 2,520,891 )
Recent downloads (6 months)
1 ( #405,457 of 2,520,891 )
2018-02-09
Total views
7 ( #1,072,325 of 2,520,891 )
Recent downloads (6 months)
1 ( #405,457 of 2,520,891 )
How can I increase my downloads?
Downloads
