Publication:3797180
From MaRDI portal
zbMath0652.03040MaRDI QIDQ3797180
Andreas Blass, Stephen G. Simpson, Jeffry L. Hirst
Publication date: 1987
topological dynamics; Hindman's Theorem; Carlson-Simpson theorem; Auslander-Ellis theorem; degree of nonconstructivity; recursive colouring
05C15: Coloring of graphs and hypergraphs
03F07: Structure of proofs
03F50: Metamathematics of constructive systems
Related Items
On the strength of König's duality theorem for countable bipartite graphs, Invariants, Boolean algebras and ACA₀⁺, A simple proof and some difficult examples for Hindman's theorem, A combinatorial proof of the dense Hindman's theorem, Periodic points and subsystems of second-order arithmetic