Phd-MathLogic

Studies in Borel Sets

Abhijit Dagupta
Leo Anthony Harrington
1994

Theory of Computation for the Real Numbers and Subrings of the Real Numbers Following Blum/Shub/Smale

Rose Saint John
Leo Anthony Harrington
1995

Inferential Validity in a Logic for Vague Predicates

John H. Grosh
Ernst W. Adams
1995

Templates and Worlds for Interpretations

Andrew James Ensor
Ralph McKenzie
1995

Tarski and the Concept of Logical Consequence

Craig Nicholas Bach
C. Chihara
1995

Proof-Theoretic Investigations of Subsystems of Second-Order Arithmetic

Jeremy David Avigad
J. H. Silver
1995

Decision Theory Made Tractable: The Value of Deliberation, With Applications to Markov Decision Process Planning

Jonathan King Tash
L. Zadeh
1996

Chang's Conjecture and the Non-Stationary Ideal

Daniel Evan Seabold
W. Hugh Woodin
1996

Extension of Results of Morley and Shelah to Permutation Groups

Mark Douglas Schlatter
Leo Anthony Harrington
1996

Some Results Concerning Scott Sets and Peano-like Theories

Paul Smith MacMillan
J. H. Silver
1996