Universal Rosser predicates

DOI10.1017/JSL.2016.19MaRDI QIDQ5738203zbMATH OpenOpenAlexFDO

Authors Makoto Kikuchi, Taishi Kurahashi

Publication date 1 June 2017

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/jsl.2016.19

zbMATH Keywords

incompleteness theoremsnonstandard model of arithmeticRosser provability predicatesuniversal Rosser predicates

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Gödel numberings and issues of incompleteness (03F40) Nonstandard models of arithmetic (03H15)

Recommendations

• Derivability conditions on Rosser's provability predicates
• On Rosser's Provability Predicate
• Generic generalized Rosser fixed points
• Arithmetic with a local reflection principle for Rosser provability formulas
• A remark on equivalent Rosser sentences

Cites work

• A generalization of the incompleteness theorem
• Derivability conditions on Rosser's provability predicates
• Henkin sentences and local reflection principles for Rosser provability
• scientific article; zbMATH DE number 3737634 (Why is no real title available?)
• scientific article; zbMATH DE number 3525107 (Why is no real title available?)
• scientific article; zbMATH DE number 2014521 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Illusory models of Peano arithmetic
• Rosser sentences

Cited in

(7)

• A note on some extension results
• Rosser provability and the second incompleteness theorem
• Rosser provability and normal modal logics
• Derivability conditions on Rosser's provability predicates
• Current research on Gödel's incompleteness theorems
• Adventures in Gödel Incompleteness
• Arithmetic with a local reflection principle for Rosser provability formulas

This page was built for publication: Universal Rosser predicates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5738203)