End extensions of models of fragments of PA (original) (raw)
Related papers
On end extensions of models of subsystems of peano arithmetic
Theoretical Computer Science, 2001
Internal End-Extensions of Peano Arithmetic and a Problem of Gaifman
Journal of the London Mathematical Society, 1976
Models and types of Peano's arithmetic
Annals of Mathematical Logic, 1976
Submodels and definable points in models of Peano arithmetic
Notre Dame Journal of Formal Logic, 1983
A standard model of Peano arithmetic with no conservative elementary extension
Annals of Pure and Applied Logic, 2008
Completeness theorems, incompleteness theorems and models of arithmetic
Transactions of the American Mathematical Society, 1978
Theories of initial segments of standard models of arithmetics and their complete extensions
Konrad Zdanowski, Jerzy Tomasik
Theoretical Computer Science, 2011
Existentially Closed Models in the Framework of Arithmetic
Journal of Symbolic Logic, 2016
Iterations of Satisfaction Classes and Models of Peano Arithmetic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1992
A Note on BΣn and an Intermediate Induction Schema
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1988
A Note on Induction Schemas in Bounded Arithmetic
Arxiv preprint cs/0210011, 2002
Overspill and fragments of arithmetic
Archive for Mathematical Logic, 1989
Provability logic: models within models in Peano Arithmetic
Bollettino dell'Unione Matematica Italiana
Models of PT − with internal induction for total formulae
Majorizing provably recursive functions in fragments of PA
Archiv für Mathematische Logik und Grundlagenforschung, 1985
On a Hierarchy of Reflection Principles in Peano Arithmetic
14 On a Hierarchy of Reflection Principles in Peano Arithmetic
2016
Some consequences of interpreting the associated logic of the rst-order Peano Arithmetic PA nitarily
arXiv (Cornell University), 2012
A proof of the (strengthened) Liar formula in a semantical extension of Peano Arithmetic
Analysis, 2000
Automorphisms of models of arithmetic: A unified view
Annals of Pure and Applied Logic, 2007
2011
Reflection Principles in Fragments of Peano Arithmetic
Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 1987
Journal of Symbolic Logic, 1993
Substructure lattices of models of arithmetic
Annals of Mathematical Logic, 1979
Degrees of insolubility of extensions of arithmetic by true propositions
Russian Mathematical Surveys, 1988
Shepherdson's theorems for fragments of open induction
arXiv (Cornell University), 2017
Notes on bounded induction for the compositional truth predicate
On the induction schema for decidable predicates
The Journal of Symbolic Logic, 2003
On the Hierarchy of Intuitionistic Bounded Arithmetic
Journal of Logic and Computation, 2007
Annals of Pure and Applied Logic, 1985
Existentially Closed Models and Conservation Results in Bounded Arithmetic
Journal of Logic and Computation, 2009
An induction principle for consequence in arithmetic universes
Journal of Pure and Applied Algebra, 2012