On a problem of formal logic.
From MaRDI portal
Cited in
(46)- Another proof of the intuitionistic Ramsey theorem
- Ramsey numbers for multiple copies of sparse graphs
- Ramsey numbers by stochastic algorithms with new heuristics
- An analysis of Ramsey's theorem
- 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
- Ramsey upper density of infinite graphs
- Theoretical computer science: computability, decidability and logic
- Ramsey-type problems on induced covers and induced partitions toward the Gyárfás-Sumner conjecture
- Coalgebraic methods for Ramsey degrees of unary algebras
- Asymmetric Ramsey properties of random graphs involving cliques and cycles
- SAT modulo symmetries for graph generation and enumeration
- A note on the induced Ramsey theorem for spaces
- On the use of senders for asymmetric tuples of cliques in Ramsey theory
- Finite sequentiality of finitely ambiguous max-plus tree automata
- Poset Ramsey number \(R(P,Q_n)\). I: Complete multipartite posets
- 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
- 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
- Induced subdivisions with pinned branch vertices
- Asymptotic smoothness, concentration properties in Banach spaces and applications
- On balanceable and simply balanceable regular graphs
- Ramsey numbers of Berge-hypergraphs and related structures
- Strong Gröbner bases and linear algebra in multivariate polynomial rings over Euclidean domains
- Ramsey and Gallai-Ramsey numbers for comb and sun graphs
- 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
- Bounding and computing obstacle numbers of graphs
- Pumping, with or without choice
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)
