Fixed points of self-embeddings of models of arithmetic

&
Annals of Pure and Applied Logic 169 (6):487-513 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2018.01.004

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,874

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

Fixed points in Peano arithmetic with ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.
Fixed point theory in weak second-order arithmetic.Naoki Shioji & Kazuyuki Tanaka - 1990 - Annals of Pure and Applied Logic 47 (2):167-188.
Ultrafilters and types on models of arithmetic.L. A. S. Kirby - 1984 - Annals of Pure and Applied Logic 27 (3):215-252.
Models of arithmetic and categories with finiteness conditions.R. Diaconescu & L. A. S. Kirby - 1987 - Annals of Pure and Applied Logic 35 (C):123-148.
Saturation and simple extensions of models of peano arithmetic.Matt Kaufmann & James H. Schmerl - 1984 - Annals of Pure and Applied Logic 27 (2):109-136.
Non-closure of the image model and absence of fixed points.Claude Sureson - 1985 - Annals of Pure and Applied Logic 28 (3):287-314.
Self-Embeddings of Models of Arithmetic; Fixed Points, Small Submodels, and Extendability.Saeideh Bahrami - 2024 - Journal of Symbolic Logic 89 (3):1044-1066.
An intensional fixed point theory over first order arithmetic.Gerhard Jäger - 2004 - Annals of Pure and Applied Logic 128 (1-3):197-213.
Almost universal cupping and diamond embeddings.Jiang Liu & Guohua Wu - 2012 - Annals of Pure and Applied Logic 163 (6):717-729.
Iterated elementary embeddings and the model theory of infinitary logic.John T. Baldwin & Paul B. Larson - 2016 - Annals of Pure and Applied Logic 167 (3):309-334.

Analytics

Added to PP
2018-02-07

Downloads
39 (#557,149)

6 months
9 (#439,903)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Rank-initial embeddings of non-standard models of set theory.Paul Kindvall Gorbow - 2020 - Archive for Mathematical Logic 59 (5-6):517-563.
Tanaka’s theorem revisited.Saeideh Bahrami - 2020 - Archive for Mathematical Logic 59 (7-8):865-877.
Initial self-embeddings of models of set theory.Ali Enayat & Zachiri Mckenzie - 2021 - Journal of Symbolic Logic 86 (4):1584-1611.

Add more citations

References found in this work

Models and types of Peano's arithmetic.Haim Gaifman - 1976 - Annals of Mathematical Logic 9 (3):223-306.
Recursively saturated nonstandard models of arithmetic.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):259-286.
A Note on a Theorem of H. FRIEDMAN.C. Dimitracopoulos & J. Paris - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):13-17.

View all 7 references / Add more references