Theses most similar to The search for new axioms (Koellner, Peter, 1969-; 2003) read it

Subsystems of set theory and analysis

Friedman, Harvey Martin, 1948- (1967)

  • Advisor: Gerald E. Sacks
  • Department of Mathematics
Read it

Models of high rank for weakly scattered theories

Chan, Alice Shih Ying (2006)

  • Advisor: Gerald E. Sacks
  • Department of Mathematics
Read it

Automated termination proofs using Walther recursion

Wu, Alexander (1994)

  • Advisor: David A. McAllester
  • Department of Electrical Engineering and Computer Science
Read it

The continuum hypothesis : independence and truth-value

Weston, Thomas S. (Thomas Spengler) (1974)

  • Advisor: Richard L. Cartwright
  • Department of Philosophy
Read it

Computational structure of human language

Ristad, Eric Sven (1990)

  • Advisor: Berwick, Robert Cregar
  • Department of Electrical Engineering and Computer Science
Read it

On the metaphysics of belief

Spencer, Cara (Cara J.), 1971- (1998)

  • Advisor: Robert Stalnaker
  • Department of Linguistics and Philosophy
Read it

The Logic of Principia Mathematica

Jung, Darryl, 1962- (1994)

  • Advisor: George Boolos
  • Department of Linguistics and Philosophy
Read it

Meaning and metatheory

Stanley, Jason (1995)

  • Advisor: Robert Stalnaker
  • Department of Linguistics and Philosophy
Read it

Lie algebra cohomology and the representations of semisimple Lie groups

Vogan, David A., 1954- (1976)

  • Advisor: Bertram Kostant
  • Department of Mathematics
Read it

Denotational proof languages

Arkoudas, Konstantinos, 1968- (2000)

  • Advisor: Olin Shivers
  • Department of Electrical Engineering and Computer Science
Read it