:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Wang, Shuwei
Format:	Preprint
Published:	2026
Subjects:	Logic Primary: 03E70, 03F25, Secondary: 03F55, 03D10
Online Access:	https://arxiv.org/abs/2602.13917
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

Broad Infinity and Generation Principles
by: Levy, Paul Blain
Published: (2021)

The proof-theoretic strength of Constructive Second-order set theories
by: Jeon, Hanul
Published: (2023)

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

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

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
by: Houérou, Quentin Le, et al.
Published: (2026)

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

Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure
by: Massmann, Jayde Sylvie
Published: (2023)

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

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

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

Models for short sequences of measures in the cofinality-$ω$ constructible model
by: Ya'ar, Ur
Published: (2021)

On the significance of parameters and the projective level in the Choice and Comprehension axioms
by: Kanovei, Vladimir, et al.
Published: (2024)

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

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

A Topological Rainbow Ramsey Theorem
by: Jakob, Hannes, et al.
Published: (2026)

Critical embeddings
by: Karagila, Asaf, et al.
Published: (2024)

Monoidal Symmetric Models
by: Basak, Dianthe
Published: (2024)

Small measurable cardinals
by: Hayut, Yair, et al.
Published: (2022)

The first measurable can be the first inaccessible cardinal
by: Gitik, Moti, et al.
Published: (2024)

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

Clarifying ordinals
by: Schweber, Noah
Published: (2024)

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

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

Axiom Beta Implies Elementary Transfinite Recursion
by: Frittaion, Emanuele, et al.
Published: (2026)

Cardinality in a paraconsistent and paracomplete set theory
by: Oddsson, Hrafn Valtýr
Published: (2026)

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

On ordering of surjective cardinals
by: Shen, Guozhen, et al.
Published: (2025)

A note on surjective cardinals
by: Jin, Jiaheng, et al.
Published: (2024)

Amorphous sets and dual Dedekind finiteness
by: Hu, Yifan, et al.
Published: (2025)

A note on dual Dedekind finiteness
by: Mao, Ruihuan, et al.
Published: (2024)

The finitary partitions with $n$ non-singleton blocks of a set
by: Hu, Yifan, et al.
Published: (2024)

Local reflections of choice
by: Ryan-Smith, Calliope
Published: (2024)

Hindman and Owings-like theorems without the Axiom of Choice
by: Guzmán-Vega, José A., et al.
Published: (2026)

Consistent ultrafinitist logic
by: Gajda, Michał J.
Published: (2021)

Eccentricity, extendable choice and descending distributive forcing
by: Ryan-Smith, Calliope
Published: (2025)

Problems with fixpoints of polynomials of polynomials
by: Pradic, Cécilia, et al.
Published: (2026)