The following pages link to Dana Scott (Q1314362):
Displaying 38 items.
- (Q4513596) (← links)
- CAN MODALITIES SAVE NAIVE SET THEORY? (Q4637947) (← links)
- (Q4766044) (← links)
- (Q4785457) (← links)
- Continuous Lattices and Domains (Q4787439) (← links)
- (Q4991691) (← links)
- Computer-Supported Exploration of a Categorical Axiomatization of Modeloids (Q5098730) (← links)
- (Q5331473) (← links)
- Lifting of Correspondences between Algebraic Surfaces and the Fundamental Theorem for Correspondences with Albanese Valencies (Q5334784) (← links)
- (Q5416164) (← links)
- A proof of the independence of the continuum hypothesis (Q5528665) (← links)
- (Q5529477) (← links)
- Invariant Borel sets (Q5531646) (← links)
- (Q5533187) (← links)
- (Q5536238) (← links)
- (Q5537403) (← links)
- (Q5540445) (← links)
- (Q5541339) (← links)
- (Q5551146) (← links)
- (Q5559230) (← links)
- Additions to some results of Erdös and Tarski (Q5559237) (← links)
- (Q5579010) (← links)
- (Q5582321) (← links)
- (Q5593817) (← links)
- (Q5596757) (← links)
- (Q5596777) (← links)
- Generalization of a lemma of G. F. Rose (Q5599132) (← links)
- (Q5599136) (← links)
- (Q5599141) (← links)
- (Q5599800) (← links)
- (Q5606586) (← links)
- (Q5614645) (← links)
- (Q5632569) (← links)
- (Q5636307) (← links)
- (Q5649639) (← links)
- (Q5685626) (← links)
- The sentential calculus with infinitely long expressions (Q5730888) (← links)
- Symbolic computation and teaching (Q6560370) (← links)