A Uniformly, Extremely Nonextensional Formula of Arithmetic with many Undecidable Fixed Points in many Theories

DOI10.2307/2044645zbMath0564.03042OpenAlexW4241665700MaRDI QIDQ3677758

Robert A. Di Paola

Publication date: 1984

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

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

zbMATH Keywords

fixed pointsquantification theoryPeano arithmeticdiagonalizable algebras

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) First-order arithmetic and fragments (03F30)

This page was built for publication: A Uniformly, Extremely Nonextensional Formula of Arithmetic with many Undecidable Fixed Points in many Theories