Search Constraints

Start Over
Filtering by: Advisor Wrathall, David J. Remove constraint Advisor: Wrathall, David J. Committee Member Petsche, Clayton Remove constraint Committee Member: Petsche, Clayton Non-Academic Affiliation Oregon State University. Honors College Remove constraint Non-Academic Affiliation: Oregon State University. Honors College

Search Results

  • The Axiom of Choice and Homotopy Type Theory

    Creator:
    Schneider, Eric
    Abstract:
    In this work we introduce some basic concepts within homotopy type theory (HoTT), a proposed alternative mathematical foundation to classical set theory. In particular, our discussion revolves around the Axiom of Choice (AC). In Part I, we introduce the classical AC and some of its most important equivalents. In Part...
    Resource Type:
    Honors College Thesis
    Full Text:
    Axiom of Choice and Homotopy Type Theory Abstract approved: David Wing In this work we introduce some