"Flexible" Predicates of Formal Number Theory

DOI10.2307/2034844zbMath0109.00901OpenAlexW4241585210MaRDI QIDQ3845373

Saul A. Kripke

Publication date: 1962

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2034844

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (6)

ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM ⋮ The scope of Gödel's first incompleteness theorem ⋮ MARGINALIA ON A THEOREM OF WOODIN ⋮ Absolutely independent axiomatizations for countable sets in classical logic ⋮ Explicating logical independence ⋮ HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC

This page was built for publication: "Flexible" Predicates of Formal Number Theory