Cover Image

The proof-theoretic strength of Constructive Second-order set theories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Jeon, Hanul
Format:	Preprint
Published:	2023
Subjects:	Logic 03F25, 03E70, 03F50, 03F65
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Axiom of Double Complement and its opposites
by: Jeon, Hanul, et al.
Published: (2026)

The behavior of higher proof theory I: Case $Σ^1_2$
by: Jeon, Hanul
Published: (2024)

Proof-theoretic dilator and intermediate pointclasses
by: Jeon, Hanul
Published: (2025)

An equiconsistency proof for $\mathrm{CZF} + V = L$
by: Wang, Shuwei
Published: (2026)

A Non-Constructive Proof of Cantor's Theorem
by: Salehi, Saeed
Published: (2025)

Martin's measurable dilator
by: Jeon, Hanul
Published: (2025)

Antichain of ordinals in intuitionistic set theory
by: Wang, Shuwei
Published: (2025)

On the hierarchy of natural theories
by: Walsh, James
Published: (2021)

On Separating Wholeness Axioms
by: Jeon, Hanul
Published: (2023)

On Rosser theories
by: Cheng, Yong
Published: (2024)

There are no minimal effectively inseparable theories
by: Cheng, Yong
Published: (2022)

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)

On the Existence and Disjunction Properties in Structural Set Theory
by: Saving, Mark
Published: (2023)

On a cofinal Reinhardt embedding without Powerset
by: Jeon, Hanul
Published: (2024)

Reflection ranks via infinitary derivations
by: Walsh, James
Published: (2021)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)

Pour-El's Landscape
by: Kurahashi, Taishi, et al.
Published: (2023)

From Numbers to Container Strings
by: Visser, Albert
Published: (2024)

Completions of Restricted Complexity I, Weak Arithmetical Theories
by: Enayat, Ali, et al.
Published: (2025)

Very large set axioms over constructive set theories
by: Jeon, Hanul, et al.
Published: (2022)

Relative consistency of Set Matrix Theory with ZF
by: Cabbolet, Marcoen J. T. F.
Published: (2024)

Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)

Some notes on plump ordinals
by: Wang, Shuwei
Published: (2026)

Encoding Sequences in Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2024)

On the Various Translations between Classical, Intuitionistic and Linear Logic
by: Ferreira, Gilda, et al.
Published: (2024)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
by: Contente, Michele, et al.
Published: (2022)

Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
by: Kanovei, Vladimir, et al.
Published: (2025)

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)

The Uniform Functional Interpretation with Informative Types
by: Ferreira, Fernando, et al.
Published: (2025)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2026)

Herbrandized modified realizability
by: Ferreira, Gilda, et al.
Published: (2024)

Tightness and solidity in fragments of Peano Arithmetic
by: Gruza, Piotr, et al.
Published: (2025)

On a Theorem by Bezboruah & Shepherdson
by: Visser, Albert
Published: (2026)

Reduced Set Theory
by: Kunik, Matthias
Published: (2023)

A non-speedup result for the chain-antichain principle over a weak base theory
by: Kowalik, Katarzyna W.
Published: (2025)

An ecumenical view of proof-theoretic semantics
by: Nascimento, Victor, et al.
Published: (2023)

An ordinal analysis of CM and its extensions
by: Wang, Shuwei
Published: (2025)

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
by: Müller, Sandra, et al.
Published: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)