Search Constraints

Start Over
Filtering by: Creator Koenen, Erik J. M. Remove constraint Creator: Koenen, Erik J. M. Academic Affiliation Mathematics Remove constraint Academic Affiliation: Mathematics Degree Level Bachelor's Remove constraint Degree Level: Bachelor'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:
    element. Example 6. The weakening rule (for an arbitrary judgement J) asserts that Γ ⊢ A type Γ,∆ ⊢ J Γ