UNIVERSAL ROSSER PREDICATES

DOI10.1017/JSL.2016.19zbMath1419.03034OpenAlexW2601031187MaRDI QIDQ5738203

Taishi Kurahashi, Makoto Kikuchi

Publication date: 1 June 2017

Published in: The 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

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

Related Items (3)

Rosser provability and normal modal logics ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ Rosser provability and the second incompleteness theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Henkin sentences and local reflection principles for Rosser provability
• Derivability conditions on Rosser's provability predicates
• ILLUSORY MODELS OF PEANO ARITHMETIC
• A generalization of the incompleteness theorem
• Rosser sentences

This page was built for publication: UNIVERSAL ROSSER PREDICATES