Phd-MathLogic

Truth and Entailment for a Vague Quantifier

Ian Frederick Carlstrom
Ernst W. Adams
1975

Questions in Descriptive Set_Theory and the Determinacy of Infinite Games

Ramez Labib Sami
Robert M. Solovay
1976

Invariant Descriptive Set Theory and the Topological Approach to Model Theory

Douglas Edward Miller
Robert Lawson Vaught
1976

Admissible Sets and the Saturation of Structures

Alan Aage Adamson
Robert Lawson Vaught
1976

Subsystems of Second- order Arithmetic, and Descriptive Set Theory under the Axiom of Determinateness

Robert Alan Van Wesep
John W. Addison Jr.
1977

Determinateness and Subsystems of Analysis

John Robert Steel
John W. Addison Jr.
1977

High Degrees

David Barnett Posner
Ralph McKenzie
1977

Extensions of Models of Peano Arithmetic

George Harlow Mills
Leo Anthony Harrington
1977

Some Problems in Set Theory and Model Theory

Arnold William Miller
John W. Addison Jr.
1978

Studies in Applied Logic

Kenneth Lawrence Manders
M. Blum
1978