Theses most similar to those of author Friedman, Harvey Martin, 1948-

Subsystems of set theory and analysis (1967) read it

Improving a bounding result for weakly-scattered theories

Goddard, Christina M. (Christina Margaret) (2006)

  • 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

Principal typings and type inference

Jim, Trevor (1996)

  • Advisor: Albert R. Meyer
  • Department of Electrical Engineering and Computer Science
Read it

On the termination of recursive algorithms in pure first-order functional languages with monomorphic inductive data types

Arkoudas, Kostas (1996)

  • Advisor: David Allen 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

The theory of commuting Boolean algebras

Yan, Catherine Huafei (1997)

  • Advisor: Gian-Carlo Rota
  • Department of Mathematics
Read it

The search for new axioms

Koellner, Peter, 1969- (2003)

  • Advisor: Vann McGee
  • Department of Linguistics and Philosophy
Read it

Orderings and Boolean algebras not isomorphic to recursive ones

Feiner, Lawrence, 1942- (1967)

  • Advisor: Hartley Rogers, Jr.
  • Department of Mathematics
Read it

Extremal semi-modular functions and combinatorial geometries

Nguyen, Hien Quang (1975)

  • Advisor: G.-C. Rota
  • Department of Mathematics
Read it