Julia Van Oosten: Publications - PhilPeople

110

Well-foundedness in Realizability
with M. Hofmann and T. Streicher

Archive for Mathematical Logic 45 (7): 795-805. 2006.

Philosophy of Mathematics, General Works
23

Well-foundedness in Realizability
with M. Hofmann and T. Streicher

Archive for Mathematical Logic 45 (7): 795-805. 2006.
73

Downey, R., Gasarch, W. and Moses, M., The structure
with S. D. Friedman, W. G. Handley, S. S. Wainer, A. Joyal, I. Moerdijk, L. Newelski, and F. van Engelen

Annals of Pure and Applied Logic 70 (1): 287. 1994.

Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous Model Theory