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.
Original language | English |
---|---|
Pages (from-to) | 41-49 |
Number of pages | 9 |
Journal | Annals of Pure and Applied Logic |
Volume | 84 |
Issue number | 1 |
DOIs | |
Publication status | Published - 1997 Mar 6 |
ASJC Scopus subject areas
- Logic