Logic/Set Theory

Subject Classification

AMS: Mathematical logic and foundations / Set theory

2022

The Independence of the Continuum Hypothesis in Isabelle/ZF

by Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf and Matías Steinberg

Mar 06

Transitive Models of Fragments of ZFC

by Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf and Matías Steinberg

Mar 03

Wetzel's Problem and the Continuum Hypothesis

by Lawrence C. Paulson

Feb 18

2021

Category Theory for ZFC in HOL I: Foundations: Design Patterns, Set Theory, Digraphs, Semicategories

by Mihails Milehins

Sep 06

2020

Cofinality and the Delta System Lemma

by Pedro Sánchez Terraf

Dec 27

Ordinal Partitions

by Lawrence C. Paulson

Aug 03

Recursion Theorem in ZF

by Georgy Dunaev

May 11

Formalization of Forcing in Isabelle/ZF

by Emmanuel Gunther, Miguel Pagano and Pedro Sánchez Terraf

May 06

2019

Zermelo Fraenkel Set Theory in Higher-Order Logic

by Lawrence C. Paulson

Oct 24

2013

The Hereditarily Finite Sets

by Lawrence C. Paulson

Nov 17

2009

Ordinals and Cardinals

by Andrei Popescu

Sep 01

2005

Countable Ordinals

by Brian Huffman

Nov 11