Switch to: Citations

Add references

You must login to add references.
  1. Cuts, consistency statements and interpretations.Pavel Pudlák - 1985 - Journal of Symbolic Logic 50 (2):423-441.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • (1 other version)Second order logic or set theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.
    We try to answer the question which is the “right” foundation of mathematics, second order logic or set theory. Since the former is usually thought of as a formal language and the latter as a first order theory, we have to rephrase the question. We formulate what we call the second order view and a competing set theory view, and then discuss the merits of both views. On the surface these two views seem to be in manifest conflict with each (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Reverse mathematics and Peano categoricity.Stephen G. Simpson & Keita Yokoyama - 2013 - Annals of Pure and Applied Logic 164 (3):284-293.
    We investigate the reverse-mathematical status of several theorems to the effect that the natural number system is second-order categorical. One of our results is as follows. Define a system to be a triple A,i,f such that A is a set and i∈A and f:A→A. A subset X⊆A is said to be inductive if i∈X and ∀a ∈X). The system A,i,f is said to be inductive if the only inductive subset of A is A itself. Define a Peano system to be (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • The self-embedding theorem of WKL0 and a non-standard method.Kazuyuki Tanaka - 1997 - Annals of Pure and Applied Logic 84 (1):41-49.
    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.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Second-order and higher-order logic.Herbert B. Enderton - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Factorization of polynomials and °1 induction.S. G. Simpson - 1986 - Annals of Pure and Applied Logic 31:289.
    Download  
     
    Export citation  
     
    Bookmark   36 citations