DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Extensionality
Extensionality
Download
Sprinkles of Extensionality for Your Vanilla Type Theory
Equivalents to the Axiom of Choice and Their Uses A
A Rewrite System for Elimination of the Functional Extensionality and Univalence Axioms
The Axiom of Choice and the Law of Excluded Middle in Weak Set Theories
Does Universalism Entail Extensionalism?
Extensionality Versus Constructivity∗
On Synthetic Undecidability in Coq, with an Application to the Entscheidungsproblem
Extensional Crisis and Proving Identity⋆
Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory
First-Order Logic in a Nutshell Syntax
SET THEORY Andrea K. Dieterly a Thesis Submitted to the Graduate
Identity, Equality, Nameability and Completeness∗
1. the Zermelo Fraenkel Axioms of Set Theory
Some Results on Extensionality in Lambda Calculus
Extensionality and Logicality*
Eliminating Reflection from Type Theory Théo Winterhalter, Matthieu Sozeau, Nicolas Tabareau
The Axiom of Choice and Its Implications in Mathematics
Top View
Basic Set Theory
Entscheidungsproblem
Equality and Extensionality
On the Semantics of Intensionality and Intensional Recursion
The Foundations of Mathematics
Identity and Intensionality in Univalent Foundations and Philosophy
Three Extensional Models of Type Theory
Subsets and Power Sets Sfr:Set:Sub: We Will Often Want to Compare Sets
The Axiom of Choice in the Foundations of Mathematics John L
Zermelo-Fraenkel Set Theory
Philosophy of Mathematics Handout #2 the ZFC Axioms Russell's
The Big Proof Agenda=1 Supported by SRI International
ZF*-Extensionality Interprets Full ZF
5.1 Syntax of First Order Logic with Equality
The Theory of the Foundations of Mathematics - 1870 to 1940
The Next 700 Syntactical Models of Type Theory
Quine on Necessity, Extensionality, and Essentialism
The Relative Consistency of the Axiom of Choice and the Generalized Continuum Hypothesis with the Zermelo-Fraenkel Axioms: the Constructible Sets L
From Reducibility to Extensionality the Two Editions of Principia Mathematica
Some Notes for a Talk on Extensional Interpretation of Type Theory
Church's Thesis and Related Axioms in Coq's Type Theory
A Decision Procedure for an Extensional Theory of Arrays
1. Sets, Relations, and Functions We Begin by Recalling Our Axioms, Definitions, and Concepts from Set Theory
100 Years of Zermelo's Axiom of Choice: What Was the Problem With
Introduction to Categorical Foundations for Mathematics
Theory of Computation Chapter 1: Prologue
Extensionality with Respect to Indistinguishability Operators
Should Extensional Type Theory Be Considered Harmful?
Basic Concepts Page 1 of 39
Anti-Symmetry and Non-Extensional Mereology
Extensionality (PQ)
Sprinkles of Extensionality for Your Vanilla Type Theory
Automation of Higher-Order Logic
The Axioms of Set Theory
Partial Functions and Recursion in Univalent Type Theory By
Is P Versus NP Formally Independent?
Extensional Equality in Intensional Type Theory
The Independence of the Axiom of Choice in Set Theory
AXIOMATIZATION of SET THEORY by EXTENSIONALITY, SEPARATION, and REDUCIBILITY SEMINAR NOTES by Harvey M
A Primer for Logic and Proof
HIGHER-ORDER SEMANTICS and EXTENSIONALITY §1. Motivation. in Classical First-Order Predicate Logic, It Is Rather Simple to Asse
Call-By-Name Extensionality and Confluence
First-Order Logic