Papers
Decidability of Scott's Model as an Ordered Q-vectorspace
Journal of Symbolic Logic, vol. 62, (1997), pp. 917-924.
Decidability in the Constructive Theory of Reals
Mathematical Logic Quarterly vol. 43, (1997), pp. 343-354.
Undecidability of the Real-Algebraic Structure of Scott's Model
Mathematical Logic Quarterly vol. 44, (1998), pp. 344-348.
Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis
Journal of Symbolic Logic, vol. 65, (2000), pp. 1014-1030.
Knowledge-Based NLP
Draft