Open sentences and the induction axiom

Journal of Symbolic Logic 23 (1):7-12 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964452

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The definability of the set of natural numbers in the 1925 principia mathematica.Gregory Landini - 1996 - Journal of Philosophical Logic 25 (6):597 - 615.
A recursive nonstandard model of normal open induction.Alessandro Berarducci & Margarita Otero - 1996 - Journal of Symbolic Logic 61 (4):1228-1241.
On power set in explicit mathematics.Thomas Glass - 1996 - Journal of Symbolic Logic 61 (2):468-489.
How do sentences do it?Lars Hertzberg - unknown
How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic Q.Dan E. Willard - 2002 - Journal of Symbolic Logic 67 (1):465-496.
On the induction schema for decidable predicates.Lev D. Beklemishev - 2003 - Journal of Symbolic Logic 68 (1):17-34.
The simplest axiom system for plane hyperbolic geometry.Victor Pambuccian - 2004 - Studia Logica 77 (3):385 - 411.
A characterization of Martin's axiom in terms of absoluteness.Joan Bagaria - 1997 - Journal of Symbolic Logic 62 (2):366-372.
Generality.Nathan Salmon - 2012 - Philosophical Studies 161 (3):471-481.
Introduction.Harvey M. Friedman - unknown

Analytics

Added to PP
2009-01-28

Downloads
29 (#550,776)

6 months
1 (#1,471,470)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Induction and Skolemization in saturation theorem proving.Stefan Hetzl & Jannik Vierling - 2023 - Annals of Pure and Applied Logic 174 (1):103167.
Quantifier-free induction for lists.Stefan Hetzl & Jannik Vierling - forthcoming - Archive for Mathematical Logic:1-23.
Diophantine equations in fragments of arithmetic.Ulf R. Schmerl - 1988 - Annals of Pure and Applied Logic 38 (2):135-170.

Add more citations

References found in this work

No references found.

Add more references