Sökning: "axiom"

Visar resultat 1 - 5 av 22 avhandlingar innehållade ordet axiom.

  1. 1. Det aristoteliska historiebegreppet. Historieteori i renässansens Europa och Sverige

    Författare :Per Landgren; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Aristotelian concept of history; atemporal history; sequential concept of history; history as discipline; natural history; knowledge of particulars; natural philosophy; scientific knowledge; Aristotelian theory of science; dual structure of science; loci-method; true induction; axiom; intellectual instrumental habitus.;

    Sammanfattning : .... LÄS MER

  3. 2. Cubical Intepretations of Type Theory

    Författare :Simon Huber; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Dependent Type Theory; Univalence Axiom; Models of Type Theory; Identity Types; Cubical Sets;

    Sammanfattning : The interpretation of types in intensional Martin-Löf type theory as spaces and their equalities as paths leads to a surprising new view on the identity type: not only are higher-dimensional equalities explained as homotopies, this view also is compatible with Voevodsky's univalence axiom which explains equality for type-theoretic universes as homotopy equivalences, and formally allows to identify isomorphic structures, a principle often informally used despite its incompatibility with set theory. While this interpretation in homotopy theory as well as the univalence axiom can be justified using a model of type theory in Kan simplicial sets, this model can, however, not be used to explain univalence computationally due to its inherent use of classical logic. LÄS MER

  4. 3. An exposition of the consistency and independence proofs for the axiom of choice and the continuum hypothesis in axiomatic set theory with special regard to Zermeloʹs axiom system

    Författare :Jan Kristoferson; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER

  5. 4. On Constructive Sets and Partial Structures

    Författare :Olov Wilander; Erik Palmgren; Viggo Stoltenberg-Hansen; Bas Spitters; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematical Logic; Matematisk logik;

    Sammanfattning : The first three papers in this thesis study the formalisation of a set in type theory as a data type with an equivalence relation – an object usually known as a setoid. The corresponding formalisation of a locally small category is called an E-category. LÄS MER

  7. 5. A Model of Type Theory in Cubical Sets

    Författare :Simon Huber; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Models of dependent type theory; cubical sets; Univalent Foundations;

    Sammanfattning : The intensional identity type is one if the most intricate concepts of dependent type theory. The recently discovered connection between homotopy theory and type theory gives a novel perspective on the identity type. LÄS MER