Phd-MathLogic

Embedding Games

Peter Fritz Baker
Jack H. Silver
1987

On Embedding of the 1-3-1 into the Recursively Enumerable Degrees

Barry Jay Weinstein
Leo Anthony Harrington
1988

Spector-Gandy and Generalized Reduction Theorems for Model-Theoretic Analogs of the Class of Coanalytic Sets

Michael Shaugan Adam Lavine
Robert Lawson Vaught
1988

Topics in Algebra: Injective Completeness, Fine Spectra and Relative Presentability

Keith Alan Kearnes
Ralph McKenzie
1988

Extensions of Pure States on Algebras of Operators

Betul Tanbay
Robert M. Solovay
1989

Choice and Action: In Defense of Richard Jeffrey's Logic of Decision

John Piers Rawling
J. Davidson
1989

Generalized Weyl Representations and the Quantization of Non-linear Hamiltonian Systems

Keith Sinclair Manson
Leo Anthony Harrington
1989

Boolean Logic in Artificial Intelligence and Turing Degrees of Boolean-Valued Sets

Maohua Cai
Leo Anthony Harrington
1989

The Interpretability Logic of Peano Arithmetic

Alessandro Berarducci
Robert M. Solovay
1989

Transfinite Induction and Hierarchies Generated by Transfinite Recursion within Peano Arithmetic

Richard D. Sommer
Robert M. Solovay
1990