Phd-MathLogic

Strategies for Borel Games

Thomas John
Leo Anthony Harrington
1981

Concerning the Amalgamation Bases of Congruence Distributive Equational Classes

Clifford Harris Bergman
Ralph McKenzie
1981

Pseudorecursive Varieties and Their Implications for Word Problems

Benjamin Franklin Wells, III
Alfred Tarski
1982

Splitting the Reals into Two Small Pieces

Mark Brian van Liere
Leo Anthony Harrington
1982

Indecomposable Ultrafilters Over Inaccessible Cardinals

Alec Michael Sheard, III
Robert M. Solovay
1982

Fregean Type Theory: Logical Aspects, Philosophical Implications, Historical Consequences

Phyllis Ann Rooney
C. Chihara
1982

Reduction Theorems in Model Theory and Topology

Peter David Nash
Leo Anthony Harrington
1982

Reducibility and Determinateness on the Baire Space

William Wilfred Wadge
John W. Addison Jr.
1983

Constructions in Clone Theory

Steven Thomas Tschantz
Ralph McKenzie
1983

Metric Theory of Pierce Expansions

Jeffrey Outlaw Shallit
David Goldschmidt
Manoel Blum
1983