Affilliated Lecturer
Research Interests:
Publications
Term models for weak set theories with a universal set
– Journal of Symbolic Logic
(2014)
52,
374
(doi: 10.2307/2274387)
Non-well-foundedness of well-orderable power sets
– Journal of Symbolic Logic
(2014)
68,
879
(doi: 10.2178/jsl/1058448446)
The status of the axiom of choice in set theory with a universal set
– Journal of Symbolic Logic
(2014)
50,
701
(doi: 10.2307/2274324)
Ramsey's theorem and König's Lemma
– Archive for Mathematical Logic
(2006)
46,
37
(doi: 10.1007/s00153-006-0025-z)
Permutation Models in the Sense of Rieger‐Bernays
– Mathematical Logic Quarterly
(2006)
33,
201
(doi: 10.1002/malq.19870330304)
Language, truth and logic in mathematics.
– HISTORY AND PHILOSOPHY OF LOGIC
(1999)
20,
132