Publication:3797180
From MaRDI portal
zbMath0652.03040MaRDI QIDQ3797180
Stephen G. Simpson, Andreas Blass, 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, CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC, “Weak yet strong” restrictions of Hindman’s Finite Sums Theorem, THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH, Invariants, Boolean algebras and ACA₀⁺, Ramsey algebras and the existence of idempotent ultrafilters, A simple proof and some difficult examples for Hindman's theorem, Effectiveness for the dual Ramsey theorem, A combinatorial proof of the dense Hindman's theorem, Periodic points and subsystems of second-order arithmetic