Cofinal elementary extensions

Mathematical Logic Quarterly 60 (1-2):12-20 (2014)
  Copy   BIBTEX

Abstract

We investigate some properties of ordered structures that are related to their having cofinal elementary extensions. Special attention is paid to models of some very weak fragments of Peano Arithmetic.

Categories

Keywords

Reprint years

DOI

10.1002/malq.201200066

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,758

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

On Cofinal Submodels and Elementary Interstices.Roman Kossak & James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (3):267-287.
On cofinal extensions of models of arithmetic.Henryk Kotlarski - 1983 - Journal of Symbolic Logic 48 (2):253-262.
Minimal elementary extensions of models of set theory and arithmetic.Ali Enayat - 1990 - Archive for Mathematical Logic 30 (3):181-192.
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Abstract Elementary Classes with Löwenheim-Skolem Number Cofinal with ω.Gregory M. Johnson - 2010 - Notre Dame Journal of Formal Logic 51 (3):361-371.
Subsets coded in elementary end extensions.James H. Schmerl - 2014 - Archive for Mathematical Logic 53 (5-6):571-581.
Recursive ultrapowers, simple models, and cofinal extensions.T. G. McLaughlin - 1992 - Archive for Mathematical Logic 31 (4):287-296.
Cofinal extensions of nonstandard models of arithmetic.C. Smoryński - 1981 - Notre Dame Journal of Formal Logic 22 (2):133-144.
On cofinal extensions of models of fragments of arithmetic.Richard Kaye - 1991 - Notre Dame Journal of Formal Logic 32 (3):399-408.
Kripke completeness of predicate extensions of cofinal subframe logics.Tatsuya Shimura - 2001 - Bulletin of the Section of Logic 30 (2):107-114.
Blunt and topless end extensions of models of set theory.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (4):1053-1073.
Trees and Keislers problem.Ali Enayat - 2001 - Archive for Mathematical Logic 40 (4):273-276.
Preservation theorem and relativization theorem for cofinal extensions.Nobuyoshi Motohashi - 1986 - Journal of Symbolic Logic 51 (4):1022-1028.
Elementary extensions of models of set theory.James H. Schmerl - 2000 - Archive for Mathematical Logic 39 (7):509-514.

Analytics

Added to PP
2014-02-16

Downloads
6 (#1,478,913)

6 months
1 (#1,507,095)

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

Local behaviour of the chebyshev theorem in models of iδ.Paola D'Aquino - 1992 - Journal of Symbolic Logic 57 (1):12 - 27.
Sequence encoding without induction.Emil Jeřábek - 2012 - Mathematical Logic Quarterly 58 (3):244-248.
On cofinal extensions of models of fragments of arithmetic.Richard Kaye - 1991 - Notre Dame Journal of Formal Logic 32 (3):399-408.

Add more references