Pages that link to "Item:Q3813816"
From MaRDI portal
The following pages link to Degrees of insolubility of extensions of arithmetic by true propositions (Q3813816):
Displaying 6 items.
- Honest elementary degrees and degrees of relative provability without the cupping property (Q515565) (← links)
- Undecidability of the structure of the Solovay degrees of c.e. reals (Q881596) (← links)
- Some proofs of undecidability of arithmetic (Q3237141) (← links)
- A Uniformly, Extremely Nonextensional Formula of Arithmetic with many Undecidable Fixed Points in many Theories (Q3677758) (← links)
- (Q3691669) (← links)
- Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem (Q4382476) (← links)