Image de couverture de livre

On P=NP Either False or Independent of ZFC

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Williamson, S Gill
Format:	Preprint
Publié:	2024
Sujets:	Logic Combinatorics 0368
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Indivisibility and uniform computational strength
par: Gill, Kenneth
Publié: (2023)

Polynomials as terms and the Boolean Independence Theorem
par: Klazar, M.
Publié: (2024)

Oceanography at CTD/bottle station IFREMER_0368
par: IFREMER
Publié: (2001)

Leibniz's law and paraconsistent models of ZFC
par: Figallo-Orellano, Aldo
Publié: (2022)

Decomposing graphs into stable and ordered parts
par: Buffière, Hector, et autres
Publié: (2025)

Monadic Second-Order Logic of Permutations
par: Jelínek, Vít, et autres
Publié: (2025)

Decidability for Sturmian words
par: Hieronymi, Philipp, et autres
Publié: (2021)

Classification properties for some ternary structures
par: Miguel-Gómez, Alberto
Publié: (2024)

Skelet #17 and the fifth Busy Beaver number
par: Xu, Chris
Publié: (2024)

Simple Models of Randomization and Preservation Theorems
par: Khanaki, Karim, et autres
Publié: (2024)

Growth of regular partitions 4: strong regularity and the pairs partition
par: Terry, C.
Publié: (2024)

Foundations of iterated star maps and their use in combinatorics
par: Di Nasso, Mauro, et autres
Publié: (2024)

Courcelle's Theorem: A Self-Contained Proof and a Path-Width Variant
par: Rettich, Adrian
Publié: (2024)

Reductions of well-ordering principles to combinatorial theorems
par: Carlucci, Lorenzo, et autres
Publié: (2024)

Undecidability of the elementary theory of Young--Fibonacci lattice
par: Evtushevsky, Vsevolod
Publié: (2024)

A survey on big Ramsey structures
par: Hubička, Jan, et autres
Publié: (2024)

Growth of regular partitions 3: strong regularity and the vertex partition
par: Terry, C.
Publié: (2024)

Measurable Brooks's Theorem for Directed Graphs
par: Higgins, Cecelia
Publié: (2024)

Mad families of Gowers' infinite block sequences
par: Yung, Clement
Publié: (2024)

Borel Order Dimension
par: Raghavan, Dilip, et autres
Publié: (2024)

Infinite Cliques in Simple and Stable Graphs
par: Halevi, Yatir, et autres
Publié: (2024)

Growth of regular partitions 2: Weak regularity
par: Terry, C.
Publié: (2024)

Pixelating Relations and Functions Without Adding Substructures
par: Fischer, Eldar
Publié: (2024)

Growth of regular partitions 1: Improved bounds for small slicewise VC-dimension
par: Terry, C.
Publié: (2024)

FIID homomorphisms and entropy inequalities
par: Csoka, Endre, et autres
Publié: (2024)

On a conjecture of Terry and Wolf
par: Gladkova, V.
Publié: (2024)

Local and global $d$-rigidity are not definable in the first order logic of graphs
par: Bernstein, Daniel Irving, et autres
Publié: (2025)

The structure of subsets of $\mathbb{F}_p^n$ of bounded $\mathrm{VC}_2$-dimension
par: Terry, C., et autres
Publié: (2025)

On the linear complexity of subsets of $\mathbb{F}_p^n$ bounded $\textrm{VC}_2$-dimension
par: Sheats, Hannah, et autres
Publié: (2025)

Stationary list colorings
par: Hayashi, Yusuke
Publié: (2025)

A Concise Proof of the $L_0$ Dichotomy
par: Matos-Wiederhold, Tonatiuh
Publié: (2026)

Hall's Harem Theorem with controlled sizes of cycles
par: Duda, Karol
Publié: (2025)

Big Ramsey combinatorics of the Cantor set and a simple proof of Blass' perfect set theorem
par: Mašulović, Dragan
Publié: (2026)

Continuous stable regularity
par: Chavarria, Nicolas, et autres
Publié: (2021)

Borel line graphs
par: Anderson, James, et autres
Publié: (2023)

Labelled growth rates of $ω$-categorical structures and applications in choiceless set theory
par: Bodor, Bertalan, et autres
Publié: (2025)

Decomposable shuffles
par: Dias, João, et autres
Publié: (2026)

Higher-order generalizations of stability and arithmetic regularity
par: Terry, C., et autres
Publié: (2021)

Reverse mathematics and dimension of posets
par: Marcone, Alberto, et autres
Publié: (2026)

A note on quantitative stability in Hilbert spaces
par: Jing, Yifan
Publié: (2026)