DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Hereditarily finite set
Hereditarily finite set
A Linear Order on All Finite Groups
A Foundation of Finite Mathematics1
Commentationes Mathematicae Universitatis Carolinae
A Fine Structure for the Hereditarily Finite Sets
A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann
MAPPING SETS and HYPERSETS INTO NUMBERS Introduction
An Arithmetical-Like Theory of Hereditarily Finite Sets
Hypergraph Isomorphism for Groups with Restricted Composition Factors
Plausibly Hard Combinatorial Tautologies
Hereditarily Finite Sets and Identity Trees
MAPPING SETS and HYPERSETS INTO NUMBERS Introduction
Slim Models of Zermelo Set Theory
Problem Set 2
Cobham Recursive Set Functions
Arxiv:Math/0509246V2
B1 Set Theory: Problem Sheet 1
Orbit-Finite Sets
Encoding Sets As Real Numbers
Top View
Extensions of the Axiom of Determinacy
Every Countable Model of Set Theory Embeds Into Its Own Constructible
Hereditarily Finite Sets in Constructive Type Theory
Hyper-Extensionality and One-Node Elimination on Membership Graphs
MAPPING HYPERSETS INTO NUMBERS Introduction Sets Are A
A Model Theoretic Analysis of the Church-Turing Thesis
Disproof of the Continuum Hypothesis and Determination of the Cardinality of Continuum by Approximations of Sets
Independence, the Continuum Hypothesis and Determinacy
The Representation of Boolean Algebras in the Spotlight of a Proof Checker?
Cumulative Hierarchies and Computability Over Universes of Sets
Undirecting Membership in Models of Anti-Foundation
Slightly Infinite Sets
A Foundation of Finite Mathematics1
Digraph Parameters and Finite Set Arithmetic
Two Dichotomy Theorems