S. G. Simpson

activity

20132021

most citedSymbolic dynamics: entropy = dimension = complexity

2 citations · 2 across the 9 of their papers we have counts for

collaborators

Showing 2015Show all

2 papers · 1 filter

math.LO2015

Reverse mathematics, Young diagrams, and the ascending chain condition

Kostas Hatzikiriakou, Stephen G. Simpson

Let $S$ be the group of finitely supported permutations of a countably infinite set. Let $K [S]$ be the group algebra of $S$ over a field $K$ of characteristic $0$ . According to a t…

math.LO2015

Comparing WO $(ω^{ω})$ with $Σ_{2}^{0}$ induction

Stephen G. Simpson

Let WO $(ω^{ω})$ be the statement that the ordinal number $ω^{ω}$ is well ordered. WO $(ω^{ω})$ has occurred several times in the reverse-mathematical literature. The purpose of this expos…

Reverse mathematics, Young diagrams, and the ascending chain condition

Comparing WO(ωω) with Σ20​ induction

Comparing WO $(ω^{ω})$ with $Σ_{2}^{0}$ induction