Injecting inconsistencies into models of pa

Annals of Pure and Applied Logic 44 (1-2):101-132 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(89)90048-1

Links

PhilArchive



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

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

Infinitary definitions of equivalence relations in models of PA.Richard Kaye - 1997 - Annals of Pure and Applied Logic 89 (1):37-43.
Solovay's theorem cannot be simplified.Andrew Arana - 2001 - Annals of Pure and Applied Logic 112 (1):27-41.
A new characterization of supercompactness and applications.Qi Feng - 2009 - Annals of Pure and Applied Logic 160 (2):192-213.
A note on the diagonalizable algebras of PA and ZF.V. Yu Shavrukov - 1993 - Annals of Pure and Applied Logic 61 (1-2):161-173.
Robert M. Solovay. A model of set-theory in which every set of reals is Lebesgue measurable. Annals of mathematics, ser. 2 vol. 92 , pp. 1–56. [REVIEW]Richard Laver - 1973 - Journal of Symbolic Logic 38 (3):529.
Automorphisms of recursively saturated models of arithmetic.Richard Kaye, Roman Kossak & Henryk Kotlarski - 1991 - Annals of Pure and Applied Logic 55 (1):67-99.
Hyperfinite models of adapted probability logic.H. Jerome Keisler - 1986 - Annals of Pure and Applied Logic 31:71-86.
Elementary pairs of models.Elisabeth Bouscaren - 1989 - Annals of Pure and Applied Logic 45 (2):129-137.
Profiniteness, monadicity and universal models in modal logic.Matteo De Berardinis & Silvio Ghilardi - 2024 - Annals of Pure and Applied Logic 175 (7):103454.
Sheaf models for choice sequences.Gerrit Van Der Hoeven & Ieke Moerdijk - 1984 - Annals of Pure and Applied Logic 27 (1):63-107.

Analytics

Added to PP
2014-01-16

Downloads
11 (#351,772)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Robert Solovay
University of California, Berkeley

Citations of this work

Slow consistency.Sy-David Friedman, Michael Rathjen & Andreas Weiermann - 2013 - Annals of Pure and Applied Logic 164 (3):382-393.
A small reflection principle for bounded arithmetic.Rineke Verbrugge & Albert Visser - 1994 - Journal of Symbolic Logic 59 (3):785-812.
Illusory models of peano arithmetic.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Symbolic Logic 81 (3):1163-1175.
An addition to Rosser's theorem.Henryk Kotlarski - 1996 - Journal of Symbolic Logic 61 (1):285-292.
The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.

View all 7 citations / Add more citations

References found in this work

Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.
¹1-formulae on finite structures.M. Ajtai - 1983 - Annals of Pure and Applied Logic 24 (1):1.

Add more references