A note on end extensions

&
Archive for Mathematical Logic 39 (6):459-463 (2000)
  Copy   BIBTEX

Abstract

. We provide an alternative proof of a theorem of P. Clote concerning end extensions of models of $\Sigma_n$ -induction, for $n \geq 2$

Categories

Keywords

Reprint years

DOI

10.1007/s001530050158

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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

End extensions of models of fragments of PA.C. Dimitracopoulos & V. Paschalis - 2020 - Archive for Mathematical Logic 59 (7-8):817-833.
A note on a theorem of Kanovei.Roman Kossak - 2004 - Archive for Mathematical Logic 43 (4):565-569.
On two problems concerning end extensions.Ch Cornaros & C. Dimitracopoulos - 2008 - Archive for Mathematical Logic 47 (1):1-14.
A proof-theoretic analysis of collection.Lev D. Beklemishev - 1998 - Archive for Mathematical Logic 37 (5-6):275-296.
Subsets of models of arithmetic.Roman Kossak & Jeffrey B. Paris - 1992 - Archive for Mathematical Logic 32 (1):65-73.
End Extensions of Models of Weak Arithmetic Theories.Costas Dimitracopoulos & Vasileios S. Paschalis - 2016 - Notre Dame Journal of Formal Logic 57 (2):181-193.
Elementary extensions of models of set theory.James H. Schmerl - 2000 - Archive for Mathematical Logic 39 (7):509-514.
Binary models generated by their tally part.Fernando Ferreira - 1994 - Archive for Mathematical Logic 33 (4):283-289.
Subsets coded in elementary end extensions.James H. Schmerl - 2014 - Archive for Mathematical Logic 53 (5-6):571-581.
Blunt and topless end extensions of models of set theory.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (4):1053-1073.

Analytics

Added to PP
2013-12-01

Downloads
32 (#515,799)

6 months
1 (#1,516,001)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references