DOCSLIB.ORG
  • Sign Up
  • Log In
  • Upload
  • Sign Up
  • Log In
  • Upload
  • Home
  • »  Tags
  • »  S (set theory)

S (set theory)

  • 1 Elementary Set Theory

    1 Elementary Set Theory

  • Formal Construction of a Set Theory in Coq

    Formal Construction of a Set Theory in Coq

  • Frege and the Logic of Sense and Reference

    Frege and the Logic of Sense and Reference

  • Ordinal Numbers and the Well-Ordering Theorem Ken Brown, Cornell University, September 2013

    Ordinal Numbers and the Well-Ordering Theorem Ken Brown, Cornell University, September 2013

  • A Theory of Particular Sets, As It Uses Open Formulas Rather Than Sequents

    A Theory of Particular Sets, As It Uses Open Formulas Rather Than Sequents

  • A Tale of Two Set Theories

    A Tale of Two Set Theories

  • Florida State University Libraries

    Florida State University Libraries

  • Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions

    Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions

  • 1. the Zermelo Fraenkel Axioms of Set Theory

    1. the Zermelo Fraenkel Axioms of Set Theory

  • On Forms of Justification in Set Theory

    On Forms of Justification in Set Theory

  • Sets and Venn Diagrams

    Sets and Venn Diagrams

  • PDF (Preprint)

    PDF (Preprint)

  • Large Cardinals and the Iterative Conception of Set

    Large Cardinals and the Iterative Conception of Set

  • Higher-Order Tarski Grothendieck As a Foundation for Formal Proof Chad E

    Higher-Order Tarski Grothendieck As a Foundation for Formal Proof Chad E

  • Grothendieck Universes1

    Grothendieck Universes1

  • A Formal Approach for RDF/S Ontology Evolution

    A Formal Approach for RDF/S Ontology Evolution

  • What Is Frege's Theory of Descriptions?

    What Is Frege's Theory of Descriptions?

  • Basic Set Theory

    Basic Set Theory

Top View
  • Foundations of Algebra
  • What Is an Ontology?
  • The Well-Ordering Theorem One of the Greatest Mathematical Controversies of All Time
  • Basic Concepts of Set Theory: Symbols & Terminology Defining
  • Cantorian Abstraction: a Reconstruction and Defence
  • A Little Set Theory (Never Hurt Anybody)
  • Universal Totally Ordered Sets
  • Sets and Set Operations
  • Zermelo-Fraenkel Set Theory
  • Philosophy of Mathematics Handout #2 the ZFC Axioms Russell's
  • The Language of Sets in Mathematics 1 Sets
  • Frege and the Hierarchy Author(S): Tyler Burge Source: Synthese, Vol
  • From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction
  • Maudlin's Truth and Paradox (PDF)
  • Large Cardinals and the Iterative Conception of Set
  • Classes, Why and How
  • From Urelements to Computation Vincenzo Ciancia
  • Formalizing Foundations of Mathematics


© 2024 Docslib.org    Feedback