:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Arai, Toshiyasu
Format:	Preprint
Published:	2023
Subjects:	Logic 03F99
Online Access:	https://arxiv.org/abs/2311.12459
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)

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

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

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)

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

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

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

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

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

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

Myhill-Nerode for hypergraphs and an application to gain-graphic matroids
by: Funk, Daryl, et al.
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)

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

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)

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)

Model Theory of Local Real Closed SV-Rings of Finite Rank
by: Piepenborn, Ricardo Palomino
Published: (2024)

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)

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)

Provability in BI's Sequent Calculus is Decidable
by: Gheorghiu, Alexander, et al.
Published: (2021)

Toposes with enough points as categories of étale spaces
by: van Gool, Sam, et al.
Published: (2025)

Refutability as Recursive as Provability
by: Cattabriga, Paola
Published: (2024)

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

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

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

A Closer Look at the Russell Paradox
by: Sheridan, Flash
Published: (2021)