:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Arai, Toshiyasu
Format:	Preprint
Published:	2022
Subjects:	Logic 03F99
Online Access:	https://arxiv.org/abs/2208.12944
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An ordinal analysis of $Π_{N}$-Collection
by: Arai, Toshiyasu
Published: (2023)

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

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

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

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

Clarifying ordinals
by: Schweber, Noah
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)

Higher arithmetic on the ordinals
by: Ducourtial, Adrian
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)

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

On closed Ramsey numbers of small countable ordinals
by: Duman, Necdet, et al.
Published: (2026)

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

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
by: Lücke, Philipp
Published: (2024)

Monotone infinitary operations on ordinals (extended version)
by: Lipparini, Paolo
Published: (2025)

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

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)

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

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

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

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)

Relativized Galois groups of first order theories over a hyperimaginary
by: Lee, Hyoyoon, et al.
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)

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

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

Walks on uncountable ordinals and non-structure theorems for higher Aronszajn lines
by: Inamdar, Tanmay, et al.
Published: (2024)

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

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

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

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)