Buchumschlag

Formalizing Pfaffian in bounded arithmetic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kuroda, Satoru
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03B70, 15A15, 03D15
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Logical reduction of relations: from relational databases to Peirce's reduction thesis
von: Koshkin, Sergiy
Veröffentlicht: (2024)

The Golden Path to Guarded Monotone Strict NP
von: Barsukov, Alexey, et al.
Veröffentlicht: (2023)

Scott sentence complexities of linear orderings
von: Gonzalez, David, et al.
Veröffentlicht: (2023)

Classifying the complexity of models of arithmetic
von: Gonzalez, David, et al.
Veröffentlicht: (2025)

A Minimal Substitution Basis for the Kalmár Elementary Functions
von: Prunescu, Mihai, et al.
Veröffentlicht: (2025)

Generalized Schatunowsky theorem in a weak arithmetic
von: King, Hala, et al.
Veröffentlicht: (2025)

The complexity of being monitorable
von: Camerlo, Riccardo, et al.
Veröffentlicht: (2026)

Exploring P versus NP
von: Tang, Jian-Gang
Veröffentlicht: (2022)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
von: Japaridze, Giorgi
Veröffentlicht: (2026)

AC and the Independence of WO in Second-Order Henkin Logic, Part I
von: Gaßner, Christine
Veröffentlicht: (2024)

Analogues of the countable Borel equivalence relations in the setting of computable reducibility
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

Open Problems in Computability Theory and Descriptive Set Theory
von: Barmpalias, George, et al.
Veröffentlicht: (2025)

Induction on Dilators and Bachmann-Howard Fixed Points
von: Aguilera, Juan P., et al.
Veröffentlicht: (2024)

Borel complexity of families of finite equivalence relations via large cardinals
von: Laskowski, Michael C., et al.
Veröffentlicht: (2024)

Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations
von: Banerjee, Rishi, et al.
Veröffentlicht: (2024)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
von: Cipriani, Vittorio, et al.
Veröffentlicht: (2022)

Forcing with random variables in bounded arithmetics and set theory
von: Honzik, Radek
Veröffentlicht: (2026)

On piecewise hyperdefinable groups
von: Fanlo, Arturo Rodriguez
Veröffentlicht: (2020)

Why the classes P and NP are not well-defined finitarily
von: Anand, Bhupinder Singh
Veröffentlicht: (2024)

A representation theorem for measurable relation algebras with cyclic groups
von: Andréka, Hajnal, et al.
Veröffentlicht: (2018)

A representation theorem for measurable relation algebras
von: Givant, S., et al.
Veröffentlicht: (2018)

Coset relation algebras
von: Andréka, H., et al.
Veröffentlicht: (2018)

On models of affine arithmetic
von: Bagheri, Seyed-Mohammad
Veröffentlicht: (2025)

Computable vs Descriptive Combinatorics of Local Problems on Trees
von: Weilacher, Felix
Veröffentlicht: (2022)

Implications in pseudocomplemented and Stone lattices
von: Chajda, Ivan, et al.
Veröffentlicht: (2024)

Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
von: Liu, Yong, et al.
Veröffentlicht: (2025)

Isolated d.c.e. degrees and $Σ_1$ induction
von: Liu, Yiqun, et al.
Veröffentlicht: (2025)

Robinson Splitting Theorem and $Σ_1$ Induction
von: Liu, Yong, et al.
Veröffentlicht: (2026)

Dilators and the reverse mathematics zoo
von: Freund, Anton
Veröffentlicht: (2024)

The strength of Ramsey's theorem for $α$-large sets
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2026)

Fundamental sequences based on localization
von: Wilken, Gunnar
Veröffentlicht: (2024)

Generalizing Goodstein's theorem and Cichon's independence proof
von: Wilken, Gunnar
Veröffentlicht: (2025)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

Countable Ordered Groups and Weihrauch Reducibility
von: Li, Ang
Veröffentlicht: (2024)

Measurable Regular Subgraphs
von: Bowen, Matt, et al.
Veröffentlicht: (2024)

Automatic structures and the problem of natural well-orderings
von: Beklemishev, Lev D., et al.
Veröffentlicht: (2024)

Strong reducibilities and set theory
von: Schweber, Noah
Veröffentlicht: (2024)

Online and feasible presentability: from trees to modal algebras
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2025)

A proof of P!=NP
von: McCallum, Rupert
Veröffentlicht: (2020)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
von: Buriola, Gabriele, et al.
Veröffentlicht: (2025)