Phd-MathLogic

Contributions To The Theory of Structures: On the Products of Structures And Other Related Topics

Yiannis Vourtsanis
Leo Anthony Harrington
1987

Strong Well-foundedness and the Genericity of Countable Sets

Dominic McCarty
W. Hugh Woodin
2014

(missing dissertation title)

Chase Skipper
2015

Chase Skipper

Algorithmic Improvisation

Daniel Fremont
Sanjit Seshia
2019

Adding Closed Cofinal Sequences to Large Cardinals

Lon Berk Radin
Jack H. Silver
1980

Constructive Cut Elimination Arguments and Applications

Jon Hawley Pearce
Leo Anthony Harrington
1980

Some Case Studies in Algebra Motivated by Abstract Problems of Language

Lawrence Valby
2015

Lawrence Valby

N Angry Men

Arthur Tilley
Thomas Scanlon
2014

On ideal numbers

Lewis Fletcher Walton
Alfred Foster
1940

Characteristic roots of matric polynomials and a study of infinite matrices

Albert B. Farnell
Alfred Foster
1944