Henkin sentences and local reflection principles for Rosser provability

Annals of Pure and Applied Logic 167 (2):73-94 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2015.10.002

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,894

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

A remark on equivalent Rosser sentences.Christopher von Bülow - 2008 - Annals of Pure and Applied Logic 151 (1):62-67.
Henkin and function quantifiers.Michael Krynicki & Jouko Väänänen - 1989 - Annals of Pure and Applied Logic 43 (3):273-292.
Provability logic and the completeness principle.Albert Visser & Jetze Zoethout - 2019 - Annals of Pure and Applied Logic 170 (6):718-753.
A course on bimodal provability logic.Albert Visser - 1995 - Annals of Pure and Applied Logic 73 (1):109-142.
Dialogues, strategies, and intuitionistic provability.Walter Felscher - 1985 - Annals of Pure and Applied Logic 28 (3):217-254.
The omega-rule interpretation of transfinite provability logic.David Fernández-Duque & Joost J. Joosten - 2018 - Annals of Pure and Applied Logic 169 (4):333-371.
Paris-Harrington principles, reflection principles and transfinite induction up to epsilon 0.Reijiro Kurata - 1986 - Annals of Pure and Applied Logic 31:237.
Club stationary reflection and other combinatorial principles at ℵ+2.Thomas Gilton & Šárka Stejskalová - 2025 - Annals of Pure and Applied Logic 176 (1):103489.
Henkin Quantifiers and Complete Problems.Andreas Blass & Yuri Gurevich - 1986 - Annals of Pure and Applied Logic 32:1--16.

Analytics

Added to PP
2015-11-25

Downloads
51 (#479,716)

6 months
5 (#875,022)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Self-Reference in Arithmetic II.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):692-712.
Universal Rosser predicates.Makoto Kikuchi & Taishi Kurahashi - 2017 - Journal of Symbolic Logic 82 (1):292-302.
Logic of informal provability with truth values.Pawel Pawlowski & Rafal Urbaniak - 2023 - Logic Journal of the IGPL 31 (1):172-193.

View all 6 citations / Add more citations

References found in this work

Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
Extensions of some theorems of gödel and church.Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):87-91.
Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.
Aspects of Incompleteness.Per Lindström - 1999 - Studia Logica 63 (3):438-439.

View all 18 references / Add more references