Cover Image

An ordinal analysis of $Π_{N}$-Collection

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Arai, Toshiyasu
Format:	Preprint
Published:	2023
Subjects:	Logic 03F99
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An ordinal analysis of a single stable ordinal
by: Arai, Toshiyasu
Published: (2022)

The Countable Reals
by: Bauer, Andrej, et al.
Published: (2024)

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

Proof complexity of universal algebra in a CSP dichotomy proof
by: Gaysin, Azza
Published: (2024)

Dismantling the Surprise Test "Paradox"
by: Dietzfelbinger, Martin
Published: (2026)

A Foundation for Synthetic Stone Duality
by: Cherubini, Felix, et al.
Published: (2024)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
by: Inoué, Takao, et al.
Published: (2024)

$Π^0_4$ conservation of Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2024)

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

$Π^0_4$ conservation of the Ordered Variable Word theorem
by: Houérou, Quentin Le, et al.
Published: (2024)

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

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

Iterated Priority Arguments in Descriptive Set Theory
by: Day, Adam, et al.
Published: (2022)

Nonclassical logics and multivariate truth values
by: Zhuravlov, Volodymyr M.
Published: (2024)

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
by: Fukumoto, Yusei
Published: (2025)

A Self-Reflecting Formal Language
by: Patrakeev, Mikhail
Published: (2023)

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
by: Cheng, Yong
Published: (2018)

The Logic of Correct Models
by: Aguilera, Juan Pablo, et al.
Published: (2024)

The set-theoretic Kaufmann-Clote question
by: McKenzie, Zachiri
Published: (2025)

First-Order Implication-Space Semantics
by: Hlobil, Ulf
Published: (2026)

Axioms for Arbitrary Object Theory
by: Steinkrauss, Luca, et al.
Published: (2025)

First-order friendliness
by: Badia, Guillermo, et al.
Published: (2022)

Myhill-Nerode for hypergraphs and an application to gain-graphic matroids
by: Funk, Daryl, et al.
Published: (2025)

On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
by: Bacik, Piotr, et al.
Published: (2026)

Relativized Galois groups of first order theories over a hyperimaginary
by: Lee, Hyoyoon, et al.
Published: (2024)

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

Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)

A completion of reduced commutative rings
by: Carai, Luca, et al.
Published: (2026)

$ω$-consistency for Different Arrays of Quantifiers
by: Santos, Paulo Guilherme
Published: (2024)

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

Avoiding logical strength in real analysis
by: Freund, Anton, et al.
Published: (2026)

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

Glivenko's theorems from an ecumenical perspective
by: Pereira, Luiz Carlos, et al.
Published: (2026)

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Nested Sequents for Provability Logic GLP
by: Shamkanov, Daniyar
Published: (2014)

The Myhill isomorphism theorem does not generalize much
by: Pradic, Cécilia
Published: (2025)

Generalized Von Neumann Universe and Non-Well-Founded Sets
by: Zhang, Eugene
Published: (2023)

Partially-elementary end extensions of countable models of set theory
by: McKenzie, Zachiri
Published: (2024)

On non-isomorphic universal sofic groups
by: Alekseev, Vadim, et al.
Published: (2024)

Splittings in varieties of logic
by: Davey, Brian A., et al.
Published: (2025)