Pages that link to "Item:Q1114685"
From MaRDI portal
The following pages link to Arithmetic analogues of McAloon's unique Rosser sentences (Q1114685):
Displaying 8 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Informal versus formal mathematics (Q885512) (← links)
- Why Horn formulas matter in computer science: initial structures and generic examples (Q1089797) (← links)
- Uniform density in Lindenbaum algebras (Q2258545) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- Derivability conditions on Rosser's provability predicates (Q2641298) (← links)
- The Henkin Sentence (Q3454817) (← links)
- ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM (Q5107534) (← links)