The following pages link to David Ballard (Q1091384):
Displayed 6 items.
- Independence in higher-order subclassical logic (Q1091385) (← links)
- Combinatory completeness without classical equality (Q1100189) (← links)
- Standard foundations for nonstandard analysis (Q4032655) (← links)
- Definability and descent (Q4212908) (← links)
- Foundational Aspects of “Non”standard Mathematics (Q4316500) (← links)
- Coloring a Dodecahedron with Four Colors<sup>(1)</sup> (Q5617550) (← links)