Phd-MathLogic

Remarks on Residual Character

Charles Robert Latting
Ralph McKenzie
1996

Minimal Coding of a Subset of w_2 into a Real

David Cook
Robert M. Solovay
1996

On the Undecidability of the Type Set of Variety

Japheth Leo Merlin Wood
Ralph McKenzie
1997

A Combinational Study of Communication, Storage and Traceability in Broadcast Encryption Systems

Jessica Nicola Staddon
Leo Anthony Harrington
1997

From Consistency to Incompleteness: A Philosophical Investigation of Hilbert's Programme and Gödel's Incompleteness Theorem

Byoung-Il Choi
H. Sluga
1997

Variations of Pmax Forcing

Paul Bradley Larson
W. Hugh Woodin
1998

Remarks on Graph Functions

Stephan Robert Heilmayr
Leo Anthony Harrington
1998

Formal Semantics and The Algebraic View of Meaning

Eli Dresner
S. Neale
1998

Independence, Amalgamation, and Trees

Nick Ramsey
Thomas Scanlon
2018

Computable Continuous Structure Theory

James Gardner Moody
Antonio Montalban
Theodore A. Slaman
2019