On a problem of formal logic.

Cited in

(only showing first 100 items - show all)

An analysis of Ramsey's theorem
Pumping, with or without choice
Bounding and computing obstacle numbers of graphs
Ramsey numbers for multiple copies of sparse graphs
Ramsey numbers by stochastic algorithms with new heuristics
Two-colored Ramsey-Turán densities involving triangles
Owings-like theorems for infinitely many colours or finite monochromatic sets
The down-arrow Ramsey set of a graph
The growth rate of multicolor Ramsey numbers of 3-graphs
Ramsey theory over partitions. I: Positive Ramsey relations from forcing axioms
Ramsey theory over partitions. II: Negative Ramsey relations and pump-up theorems
Spectral properties of Sierpinski measures on \(\mathbb{R}^n\)
Gallai-Ramsey multiplicity for rainbow small trees
Theoretical computer science: computability, decidability and logic
Ramsey-type problems on induced covers and induced partitions toward the Gyárfás-Sumner conjecture
SAT modulo symmetries for graph generation and enumeration
Coalgebraic methods for Ramsey degrees of unary algebras
Finite sequentiality of finitely ambiguous max-plus tree automata
Poset Ramsey number R(P,Q_n). I: Complete multipartite posets
A note on the induced Ramsey theorem for spaces
On the use of senders for asymmetric tuples of cliques in Ramsey theory
Ramsey numbers of multiple copies of graphs in a component
Exponential Erdős-Szekeres theorem for matrices
Recent developments on unavoidable patterns in 2-colorings of the complete graph
Ramsey upper density of infinite graphs
Asymmetric Ramsey properties of random graphs involving cliques and cycles
Ramsey numbers of Berge-hypergraphs and related structures
The irredundance-related Ramsey numbers s(3,8)=21 and w(3,8)=21
Canonicity in power and modal logics of finite achronal width
Colouring versus density in integers and Hales-Jewett cubes
A new perspective on semi-retractions and the Ramsey property
Abstract cyclic proofs
Formalizing finite Ramsey theory in Lean 4
Ramsey numbers of large books versus multipartite graphs
Ramsey numbers for multiple copies of hypergraphs
Stable ordered-union versus selective ultrafilters
On balanceable and simply balanceable regular graphs
Induced subdivisions with pinned branch vertices
Strong Gröbner bases and linear algebra in multivariate polynomial rings over Euclidean domains
Ramsey and Gallai-Ramsey numbers for comb and sun graphs
Asymptotic smoothness, concentration properties in Banach spaces and applications
A threading path to a Ramsey number
The rational number game
The weighted HOM-problem over fields
Star-critical connected Ramsey numbers for 2-colorings of complete graphs
Exact big Ramsey degrees for finitely constrained binary free amalgamation classes
A canonical Ramsey theorem with list constraints in random (hyper-)graphs
Finite sequentiality of finitely ambiguous max-plus tree automata
Weakly-unambiguous Parikh automata and their link to holonomic series
Three forms of the Erdős-Dushnik-Miller theorem
A decidable class of inferences in first-order objective Bayesian inductive logic
Three applications of coverings to difference patterns
A unified approach to Hindman, Ramsey, and van der Waerden spaces
Sharp thresholds for Ramsey properties
Another proof of the intuitionistic Ramsey theorem
Ramsey achievement games on graphs: algorithms and bounds
Multiple Ramsey numbers of disconnected graphs of size 3
Bip-ordered bipartite Ramsey number
Induced subgraphs and tree decompositions. XVI: Complete bipartite induced minors
Reuniting -boundedness with polynomial -boundedness
Partitions and automorphisms of finite Kurepa trees
Ramsey numbers through the lenses of polynomial ideals and Nullstellensätze
Ordered Ramsey numbers of graphs with m edges
The story of sunflowers
Borel sets of Rado graphs and Ramsey's theorem
A polynomial Ramsey statement for bounded VC-dimension
Cliquewidth and dimension
The quantum Ramsey numbers QR (2, k )
Construction schemes: transferring structures from to _1
Common pairs of graphs
Ramsey simplicity of random graphs
An optimal selection for ensembles of influential projects
Rainbow and Gallai-Rado numbers involving binary function equations
The list-Ramsey threshold for families of graphs
The evolution of unavoidable bichromatic patterns and extremal cases of balanceability
The minimum positive uniform Turán density in uniformly dense k-uniform hypergraphs
Spectral Pseudorandomness and the Road to Improved Clique Number Bounds for Paley Graphs
Saturation results around the Erdős-Szekeres problem
Galvin's property at large cardinals and an application to partition calculus
The Infinitude of the Primes and Some Coloring Theorems
Weighted HOM-problem for nonnegative integers
On Ramsey (2K₂, W_n)-minimal graphs of smallest order
Saturation results around the Erdős-Szekeres problem
Ramsey-type problems for tilings in dense graphs
On the star-critical Ramsey number of forests versus near complete graphs
A note on the minimum degree of minimal Ramsey graphs
Two Ramsey-Turán numbers of small independence numbers
The Borel Ramsey properties for countable Borel equivalence relations
Topological games in Ramsey spaces
Problems on infinite sumset configurations in the integers and beyond
On off-diagonal hypergraph Ramsey numbers
Chordal graphs, even-hole-free graphs and sparse obstructions to bounded treewidth
A Ramsey-type theorem on deficiency
Graph theory. Abstracts from the workshop held January 5--10, 2025
An algebraic perspective on Ramsey numbers
Ramsey and Gallai-Ramsey numbers for multiple triangles of graphs and their multiplicities
Toward computing bounds for Ramsey numbers using quantum annealing
The principle of open induction on \([0, 1]\) and the approximate-fan theorem
Ordered Gallai-Ramsey numbers
Erdős-Hajnal problems for posets

This page was built for publication: On a problem of formal logic.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1834559)