The following pages link to The small‐is‐very‐small principle (Q5108874):
Displaying 6 items.
- Friedman-reflexivity (Q2159935) (← links)
- Extension and interpretability (Q2658276) (← links)
- Understanding the small object argument (Q5891786) (← links)
- Finitely axiomatized theories lack self‐comprehension (Q6051417) (← links)
- Varieties of truth definitions (Q6565567) (← links)
- Incompleteness of boundedly axiomatizable theories (Q6621302) (← links)