The following pages link to The arithmetics of a theory (Q2345393):
Displaying 7 items.
- Friedman-reflexivity (Q2159935) (← links)
- Uniform density in Lindenbaum algebras (Q2258545) (← links)
- Sequence encoding without induction (Q2888636) (← links)
- (Q3218118) (← links)
- TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES (Q5107215) (← links)
- The small‐is‐very‐small principle (Q5108874) (← links)
- (Q5454218) (← links)