The self-embedding theorem of WKL0 and a non-standard method

Annals of Pure and Applied Logic 84 (1):41-49 (1997)

Abstract
We prove that every countable non-standard model of WKL0 has a proper initial part isomorphic to itself. This theorem enables us to carry out non-standard arguments over WKL0.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(95)00058-5
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,195
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Countable Models of Set Theories.Harvey Friedman - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 539--573.
A Note on a Theorem of H. FRIEDMAN.C. Dimitracopoulos & J. Paris - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):13-17.
A Generalization of a Theorem of H. Friedman.C. Dimitracopoulos - 1985 - Mathematical Logic Quarterly 31 (14‐18):221-225.
A Generalization of a Theorem of H. Friedman.C. Dimitracopoulos - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (14-18):221-225.

Add more references

Citations of this work BETA

Nonstandard Arithmetic and Reverse Mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
Non-Standard Analysis in ACA0 and Riemann Mapping Theorem.Keita Yokoyama - 2007 - Mathematical Logic Quarterly 53 (2):132-146.
Nonstandard Arithmetic and Recursive Comprehension.H. Jerome Keisler - 2010 - Annals of Pure and Applied Logic 161 (8):1047-1062.

View all 14 citations / Add more citations

Similar books and articles

Non‐Standard Analysis in WKL0.Kazuyuki Tanaka - 1997 - Mathematical Logic Quarterly 43 (3):396-400.
Non-Standard Analysis in ACA0 and Riemann Mapping Theorem.Keita Yokoyama - 2007 - Mathematical Logic Quarterly 53 (2):132-146.
WKL0 and Stone's Separation Theorem for Convex Sets.Kostas Hatzikiriakou - 1996 - Annals of Pure and Applied Logic 77 (3):245-249.
Automorphisms of Models of Arithmetic: A Unified View.Ali Enayat - 2007 - Annals of Pure and Applied Logic 145 (1):16-36.
How Incomputable Is the Separable Hahn-Banach Theorem?Guido Gherardi & Alberto Marcone - 2009 - Notre Dame Journal of Formal Logic 50 (4):393-425.
The Philosophical Significance of Tennenbaum’s Theorem.T. Button & P. Smith - 2012 - Philosophia Mathematica 20 (1):114-121.
Σ1-Separation.Fred G. Abramson - 1979 - Journal of Symbolic Logic 44 (3):374 - 382.
Graph Coloring and Reverse Mathematics.James H. Schmerl - 2000 - Mathematical Logic Quarterly 46 (4):543-548.

Analytics

Added to PP index
2013-10-30

Total views
13 ( #661,623 of 2,289,518 )

Recent downloads (6 months)
1 ( #838,743 of 2,289,518 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature