The following pages link to (Q5454218):
Displaying 5 items.
- Axiomatizations of arithmetic and the first-order/second-order divide (Q2053347) (← links)
- The middle ground-ancestral logic (Q2053352) (← links)
- A theorem on partial conservativity in arithmetic (Q3083142) (← links)
- What’s so Special About the Gödel Sentence $$\mathcal {G}$$ ? (Q3295825) (← links)
- Plural ancestral logic as the logic of arithmetic (Q6552260) (← links)
