DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Constructive set theory
Constructive set theory
Infty.Pdf
Sets in Homotopy Type Theory
A Taste of Set Theory for Philosophers
Download
Categorical Semantics of Constructive Set Theory
Constructive Set Theory
Local Constructive Set Theory and Inductive Definitions
An Outline of Algebraic Set Theory
A Meaning Explanation for Hott∗
Formalizing Abstract Algebra in Constructive Set Theory
Constructive Set Theory July, 2008, Mathlogaps Workshop, Manchester
Homotopy Type-Theoretic Interpretations of Constructive Set Theories
Constructive Set Theory and Brouwerian Principles1
Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
Constructive Set Theory and Brouwerian Principles1
Homotopy and Type Theory (Project Description) 1
Aspects of General Topology in Constructive Set Theory
Intuitionistic Logic Dirk Van Dalen
Top View
Two Lectures on Constructive Type Theory
The Axiom of Choice and Its Implications in Mathematics
A New Foundational Crisis in Mathematics, Is It Really Happening? Mirna Džamonja
Martin Löf's Type Theory: Constructive Set Theory and Logical Framework
1. Introduction. the Notion of Elementary Topos Abstracts from the Struc- Tur§E of the Category of Sets
Heyting-Valued Interpretations for Constructive Set Theory
Homotopy Type Theory: a Synthetic Approach to Higher Equalities
Choice Principles in Constructive and Classical Set Theories
The Axiom of Choice in the Foundations of Mathematics John L
Making Constructive Set Theory Explicit
The Existence Property Among Set Theories
Constructive Set Theory from a Weak Tarski Universe
Intuitionistic Type Theory
An Indeterminate Universe of Sets
Introduction to Constructive Set Theory 30 June, 2011, Maloa, Leeds
Constructive Mathematics in St. Petersburg, Russia: a (Somewhat Subjective) View from Within Vladik Kreinovich University of Texas at El Paso,
[email protected]
On Relating Type Theories to (Intuitionistic) Set Theories
Predicative Topos Theory and Models for Constructive Set Theory
The Natural Numbers in Constructive Set Theory
Formalizing Mathematics in the Univalent Foundations
Intuitionistic Set Theory John L. Bell
A Simple Computational Interpretation of Set Theory
The Generalised Type-Theoretic Interpretation of Constructive Set Theory
Constructive Toposes with Countable Sums As Models of Constructive Set Theory
The Standard ZFC Axioms for Set Theory Provide an Operative
Large Sets in Constructive Set Theory
Set Theory in Fuzzy Logic
“An Excursion Into Set Theory Using a Constructivist Approach”
The Axiom of Double Complement and Its Opposites
Univalent Foundations of Mathematics Talk by Vladimir Voevodsky September 5 , 2011
The Generalised Type-Theoretic Interpretation of Constructive Set Theory Author(S): Nicola Gambino and Peter Aczel Source: the Journal of Symbolic Logic, Vol
Higher Structures in Homotopy Type Theory
Constructive Reverse Mathematics
Arxiv:1010.1810V1 [Math.CT]
Chu Representations of Categories Related to Constructive Mathematics
Constructive Set Theory – an Overview