Search Constraints

Start Over
Filtering by: Creator Johnson, David C. Remove constraint Creator: Johnson, David C. Academic Affiliation Mathematics Remove constraint Academic Affiliation: Mathematics Degree Name Honors Bachelor of Science (H.B.S.) Remove constraint Degree Name: Honors Bachelor of Science (H.B.S.)

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