The following pages link to (Q4286718):
Displayed 14 items.
- Links between physics and set theory. (Q815623) (← links)
- From Hilbert's program to a logic tool box (Q1028646) (← links)
- On three arguments against categorical structuralism (Q1036073) (← links)
- Recursive characterization of computable real-valued functions and relations (Q1349924) (← links)
- First steps towards a formalization of forcing (Q2333671) (← links)
- Slim models of Zermelo set theory (Q2747699) (← links)
- Early History of the Generalized Continuum Hypothesis: 1878–1938 (Q3112603) (← links)
- On Arbitrary sets and<i>ZFC</i> (Q3174638) (← links)
- Monotone Relations, Fixed Points and Recursive Definitions (Q3600566) (← links)
- The Mathematical Import of Zermelo's Well-Ordering Theorem (Q4372921) (← links)
- Proving Things About the Informal (Q4637225) (← links)
- Models of Second-Order Zermelo Set Theory (Q4940733) (← links)
- Set-theoretic foundations (Q5351860) (← links)
- On the nature of continuous physical quantities in classical and quantum mechanics (Q5935785) (← links)