Image de couverture de livre

Cantor digraphs and abbreviations of formulas

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Klazar, Martin
Format:	Preprint
Publié:	2025
Sujets:	Logic Combinatorics 03B10
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Ramsey-like theorems for the Schreier barrier
par: Carlucci, Lorenzo, et autres
Publié: (2024)

The strength of Ramsey's theorem for $α$-large sets
par: Carlucci, Lorenzo, et autres
Publié: (2026)

A characterization of locally ordered ternary relations in terms of digraphs
par: Quintero, Guillermo Gamboa, et autres
Publié: (2025)

Cantor's Non-Equinumerosity Theorems, Inductively
par: Salehi, Saeed
Publié: (2025)

A generalized Cantor theorem in ZF
par: Peng, Yinhe, et autres
Publié: (2021)

First-order friendliness
par: Badia, Guillermo, et autres
Publié: (2022)

Ramsey-like theorems for separable permutations
par: Houérou, Quentin Le, et autres
Publié: (2025)

A Non-Constructive Proof of Cantor's Theorem
par: Salehi, Saeed
Publié: (2025)

Arboles de Forzamiento Semántico para la Logica de Predicados
par: Aristizábal, Manuel Sierra
Publié: (2023)

Boundedly finite-to-one functions
par: Hu, Xiao, et autres
Publié: (2024)

On closed Ramsey numbers of small countable ordinals
par: Duman, Necdet, et autres
Publié: (2026)

Ramsey expansions of $Λ$-ultrametric spaces
par: Braunfeld, Samuel
Publié: (2017)

A classical-logic view on a paraconsistent logic
par: Middelburg, C. A.
Publié: (2020)

Axiomatizations of Presburger Arithmetic With Predicates For Powers
par: Hieronymi, Philipp, et autres
Publié: (2026)

Tarski's Undefinability Theorem and first-order arithmetic
par: Boyce, Stephen
Publié: (2010)

Independence questions in a finite axiom-schematization of first-order logic
par: Jubin, Benoit
Publié: (2022)

Connexive implications in Substructural Logics
par: Fazio, Davide, et autres
Publié: (2022)

On the global linear Zarankiewicz problem
par: Eleftheriou, Pantelis E., et autres
Publié: (2025)

The barrier Ramsey theorem
par: Marcone, Alberto, et autres
Publié: (2025)

The strength of Ramsey Theorem for coloring relatively large sets
par: Carlucci, Lorenzo, et autres
Publié: (2012)

Complete type amalgamation for non-standard finite groups
par: Martin-Pizarro, Amador, et autres
Publié: (2020)

Regressive versions of Hindman's Theorem
par: Carlucci, Lorenzo, et autres
Publié: (2022)

Borel sets of Rado graphs and Ramsey's Theorem
par: Dobrinen, Natasha
Publié: (2019)

Stability, corners, and other 2-dimensional shapes
par: Martin-Pizarro, Amador, et autres
Publié: (2022)

Herbrand's Theorem: a short statement and a model-theoretic proof
par: Badano, Mariana
Publié: (2025)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
par: Hartonas, Chrysafis
Publié: (2023)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
par: Baldwin, John T., et autres
Publié: (2026)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
par: Baldwin, John T., et autres
Publié: (2026)

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
par: Citkin, Alex, et autres
Publié: (2025)

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

Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$
par: Coniglio, Marcelo E., et autres
Publié: (2025)

Degree of Satisfiability in Heyting Algebras
par: Bumpus, Benjamin Merlin, et autres
Publié: (2021)

The reverse mathematics of Brooks' theorem
par: Marcone, Alberto, et autres
Publié: (2026)

Undecidable translational tilings with only two tiles, or one nonabelian tile
par: Greenfeld, Rachel, et autres
Publié: (2021)

Supersimplicity and arithmetic progressions
par: Martin-Pizarro, Amador, et autres
Publié: (2025)

Finite models for positive combinatorial and exponential algebra
par: Alsulami, Tumadhir, et autres
Publié: (2024)

Algorithmic correspondence and analytic rules
par: De Domenico, Andrea, et autres
Publié: (2022)

On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders
par: Džamonja, Mirna, et autres
Publié: (2017)

A Fraïssé theory for partial orders of a fixed finite dimension
par: Smythe, Iian B., et autres
Publié: (2024)

Parametrizing the Ramsey theory of vector spaces I: Discrete spaces
par: Smythe, Iian B.
Publié: (2021)