DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Unordered pair
Unordered pair
A Taste of Set Theory for Philosophers
Download
Indiscernible Pairs of Countable Sets of Reals at a Given Projective Level
The Axiom of Choice
On Equivalents of Well-Foundedness
Codomain from Wikipedia, the Free Encyclopedia Contents
Set Theory – an Overview 1 of 34 Set Theory – an Overview Gary Hardegree Department of Philosophy University of Massachusetts Amherst, MA 01003
Representing Model Theory in a Type-Theoretical Logical Framework Fulya Horozal, Florian Rabe ∗ Jacobs University Bremen, Germany Article Info a B S T R a C T
1 Existence and the Empty Set 2 the Axiom of Pairing
The Generalised Continuum Hypothesis Implies the Axiom of Choice in Coq
Sets, Relations, Functions
Set Theory and Logic
CDM [2Ex] Sets [3Ex]
Elements of Set Theory by Sidney Felder in the Words of Georg Cantor
A Sketch of the Rudiments of Set Theory
Disproof of the Continuum Hypothesis and Determination of the Cardinality of Continuum by Approximations of Sets
Open Set Theory
Set Theory 2012/13
Top View
The Standard ZFC Axioms for Set Theory Provide an Operative
Five Stages of Accepting Constructive Mathematics
Large Sets in Constructive Set Theory
Notices of the American Mathematical Society
Mathematical Foundations of Computing
Semantical Investigations in Intuitionistic Set Theory and Type Theories with Inductive Families
Set Theory for Computer Science (Pdf )
Zermelo–Fraenkel Set Theory