Pages that link to "Item:Q4314671"
From MaRDI portal
The following pages link to A small reflection principle for bounded arithmetic (Q4314671):
Displaying 9 items.
- Faith \& falsity (Q705533) (← links)
- A note on uniform density in weak arithmetical theories (Q2219096) (← links)
- Uniform density in Lindenbaum algebras (Q2258545) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- No escape from Vardanyan's theorem (Q2501168) (← links)
- Strict \({\varPi^1_1}\)-reflection in bounded arithmetic (Q2655140) (← links)
- HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
- MARGINALIA ON A THEOREM OF WOODIN (Q5738208) (← links)
- Notes on my scientific life (Q6612807) (← links)