:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Grebík, Jan
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2303.16440
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Complexity of Linear Equations and Infinite Gadgets
by: Grebík, Jan, et al.
Published: (2025)

From descriptive to distributed
by: Grebík, Jan, et al.
Published: (2025)

Local version of Vizing's theorem for multi-graphs
by: Conley, Clinton T., et al.
Published: (2023)

Complexity of Finite Borel Asymptotic Dimension
by: Grebík, Jan, et al.
Published: (2024)

Deterministic Distributed Algorithms and Measurable Combinatorics on $Δ$-Regular Forests
by: Brandt, Sebastian, et al.
Published: (2022)

Borel Vizing's Theorem for Graphs of Subexponential Growth
by: Bernshteyn, Anton, et al.
Published: (2023)

On Homomorphism Graphs
by: Brandt, Sebastian, et al.
Published: (2021)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

Bolzano: Case Studies in LLM-Assisted Mathematical Research
by: Balko, Martin, et al.
Published: (2026)

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

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
by: Przybocki, Benjamin, et al.
Published: (2024)

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

Preservation theorems for Tarski's relation algebra
by: Bogaerts, Bart, et al.
Published: (2023)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
by: Ikari, Hiroyuki, et al.
Published: (2026)

A proof complexity conjecture and the Incompleteness theorem
by: Krajicek, Jan
Published: (2023)

Partition theorems for expanded trees
by: Shelah, Saharon
Published: (2021)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
by: Asgeirsson, Dagur
Published: (2023)

Partition genericity and pigeonhole basis theorems
by: Monin, Benoit, et al.
Published: (2022)

On collection schemes and Gaifman's splitting theorem
by: Kurahashi, Taishi, et al.
Published: (2024)

The Ginsburg--Sands theorem and computability theory
by: Benham, Heidi, et al.
Published: (2024)

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

Degrees of the finite model property: the antidichotomy theorem
by: Bezhanishvili, Guram, et al.
Published: (2023)

Foulis-Holland theorem for implicative-orthomodular lattices
by: Ciungu, Lavinia Corina
Published: (2024)

Cross-constraint basis theorems and products of partitions
by: Cervelle, Julien, et al.
Published: (2024)

Conservation of Ramsey's theorem for pairs and well-foundedness
by: Houérou, Quentin Le, et al.
Published: (2024)

Glivenko's theorems from an ecumenical perspective
by: Pereira, Luiz Carlos, et al.
Published: (2026)

Towards a generic absoluteness theorem for Chang models
by: Müller, Sandra, et al.
Published: (2023)

Perfect set dichotomy theorem in generalized Solovay model
by: Sakai, Hiroshi, et al.
Published: (2025)

Completeness theorems for modal logic in second-order arithmetic
by: Shimomichi, Sho, et al.
Published: (2025)

Michael's selection theorem in general d-minimal structures
by: Fujita, Masato
Published: (2024)

Levin's and Prucnal's theorems on Medvedev's logic of finite problems
by: Přenosil, Adam
Published: (2024)

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

The Myhill isomorphism theorem does not generalize much
by: Pradic, Cécilia
Published: (2025)

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

Effective Versions of Strong Measure Zero
by: Rayman, Matthew
Published: (2025)

Normalization and cut-elimination theorems for some logics of evidence and truth
by: Coniglio, Marcelo E., et al.
Published: (2024)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
by: Herbelin, Hugo, et al.
Published: (2024)

Strong standard completeness theorems for S5-modal Lukasiewicz logics
by: Castaño, Diego, et al.
Published: (2024)

A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$
by: Shamkanov, Daniyar
Published: (2024)