scientific article
From MaRDI portal
Publication:3797180
zbMath0652.03040MaRDI QIDQ3797180
Stephen G. Simpson, Andreas Blass, Jeffry L. Hirst
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
topological dynamicsHindman's TheoremCarlson-Simpson theoremAuslander-Ellis theoremdegree of nonconstructivityrecursive colouring
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (14)
Ramsey algebras and the existence of idempotent ultrafilters ⋮ Periodic points and subsystems of second-order arithmetic ⋮ Hindman's theorem for sums along the full binary tree, \(\Sigma^0_2\)-induction and the pigeonhole principle for trees ⋮ On the strength of König's duality theorem for countable bipartite graphs ⋮ CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC ⋮ Hindman's theorem and choice ⋮ THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH ⋮ “Weak yet strong” restrictions of Hindman’s Finite Sums Theorem ⋮ A simple proof and some difficult examples for Hindman's theorem ⋮ Invariants, Boolean algebras and ACA₀⁺ ⋮ A combinatorial proof of the dense Hindman's theorem ⋮ Effectiveness for the dual Ramsey theorem ⋮ Thin set versions of Hindman's theorem ⋮ Restrictions of Hindman's theorem: an overview
This page was built for publication:
