:: Library Catalog

Cover Image

Saved in:

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

Similar Items

On matrix rank function over bounded arithmetics
by: Ken, Eitetsu, et al.
Published: (2023)

Games with backtracking options corresponding to the ordinal analysis of $PA$
by: Ken, Eitetsu
Published: (2024)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
by: Ken, Eitetsu, et al.
Published: (2024)

Positionality in $Σ_0^2$ and a completeness result
by: Ohlmann, Pierre, et al.
Published: (2023)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

On $(Σ^2_1)^{uB}$ Absoluteness Between V and HOD
by: Goldberg, Gabriel, et al.
Published: (2025)

Program Synthesis is $Σ_3^0$-Complete
by: Kim, Jinwoo
Published: (2024)

The singleton degrees of the $Σ^0_2$ sets are not dense
by: Kent, Thomas F., et al.
Published: (2024)

Certified $Σ_1$-sentences
by: Kurahashi, Taishi, et al.
Published: (2023)

On $Σ_1$-Definable Closed Unbounded Sets
by: Ben-Neria, Omer, et al.
Published: (2023)

An independence of the MIN principle from the PHP principle
by: Narusevych, Mykyta
Published: (2024)

The memory of $ω$-regular and BC($Σ_2^0$) objectives
by: Casares, Antonio, et al.
Published: (2025)

Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study
by: Carlucci, Lorenzo, et al.
Published: (2025)

Almost disjoint families and some automorphic and injective properties of $\ell_\infty/c_0$
by: Koszmider, Piotr, et al.
Published: (2025)

The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$
by: Hoffelner, Stefan
Published: (2024)

$Σ_1$-Stationary logic as an $\aleph_1$-Abstract Elementary Class
by: Boney, Will
Published: (2024)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

Boolean basis, formula size, and number of modal operators
by: Berkholz, Christoph, et al.
Published: (2024)

Wadge degrees of $Δ^0_2$ omega-powers
by: Finkel, Olivier, et al.
Published: (2024)

A Universe with large Continuum, global $Σ$-Uniformization and a projective Well-Order of its Reals
by: Hoffelner, Stefan
Published: (2025)

VC-dimension of generalized progressions in some nonabelian groups
by: Conant, Gabriel, et al.
Published: (2025)

The fractal Goodstein principle
by: Fernández-Duque, David, et al.
Published: (2025)

Hardness of monadic second-order formulae over succinct graphs
by: Gamard, Guilhem, et al.
Published: (2023)

The measuring principle and the continuum hypothesis
by: Golshani, Mohammad, et al.
Published: (2022)

The unstable formula theorem revisited via algorithms
by: Malliaris, Maryanthe, et al.
Published: (2022)

On variable non-dependence of first-order formulas
by: Lefever, Koen, et al.
Published: (2025)

Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$
by: Hayashi, Daichi
Published: (2024)

A Concise Proof of the $L_0$ Dichotomy
by: Matos-Wiederhold, Tonatiuh
Published: (2026)

Goldstern's principle about unions of null sets
by: Goto, Tatsuya
Published: (2022)

Power $Σ_1$ in Card with two Woodin cardinals
by: Schlutzenberg, Farmer
Published: (2025)

On some subtheories of strong dependent choice
by: Aguilera, Juan P., et al.
Published: (2024)

Definability over $\mathrm BΣ^0_2$-models
by: Chong, Chi Tat, et al.
Published: (2025)

Modal reduction principles: a parametric shift to graphs
by: Conradie, Willem, et al.
Published: (2024)

Refinements of provability and consistency principles for the second incompleteness theorem
by: Kurahashi, Taishi
Published: (2025)

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
by: Suzuki, Yudai, et al.
Published: (2024)

Measuring the complexity of characterizing $[0, 1]$, $S^1$, and $\mathbb{R}$ up to homeomorphism
by: Harrison-Trainor, Matthew, et al.
Published: (2024)

Fairness and promptness in Muller formulas
by: Busatto-Gaston, Damien, et al.
Published: (2022)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
by: Katsura, Hiroyuki, et al.
Published: (2025)

On Star operation and some ideals on the Baire space
by: Cieślak, Aleksander, et al.
Published: (2026)

Hereditary undecidability of fragments of some elementary theories
by: Karpov, Vladimir E.
Published: (2024)