Logic/Set theory

Subject Classification

AMS: Mathematical logic and foundations / Set theory

2026

Countable Infinite Version of Dilworth's Theorem

by Fabián Fernando Serran Suárez, Thaynara Arielly de Lima and Mauricio Ayala-Rincón

Jul 20

Axiomatic theory of hereditarily finite sets and its fragments

by Štěpán Holub and Zuzana Haniková

Jul 03

The Mostowski Collapse Theorem

by Arthur Freitas Ramos, David Barros Hulak and Ruy Jose Guerra Barretto de Queiroz

May 11

2025

A Verified Reduction Algorithm from MLSSmf to MLSS

by Yiran Duan and Lukas Stevens

May 05

2024

The Elementary Theory of the Category of Sets

by James Baxter and Dustin Bryant

Oct 10

2023

The Cardinality of the Continuum

by Manuel Eberl

Nov 15

MLSS Decision Procedure

by Lukas Stevens

May 05

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