bio  website  

location  
age  
visits  member for  4 years, 3 months 
seen  18 hours ago  
stats  profile views  269 
2d

answered  Does the totality of Ackermann's function prove the consistency of $\Sigma_1$induction? 
Mar 26 
asked  Does the totality of Ackermann's function prove the consistency of $\Sigma_1$induction? 
Feb 16 
awarded  Necromancer 
Jan 23 
awarded  Excavator 
Jan 23 
revised 
Fixed point theorems
Corrected Reference 
Jan 21 
awarded  Civic Duty 
Dec 23 
comment 
Peano (Dedekind) categoricity
The paper "Reverse mathematics and Peano categoricity" by Simpson and Yokoama may be related to you question. A preprint is available at personal.psu.edu/t20/papers/rmpc.pdf . 
Oct 1 
awarded  Caucus 
Sep 26 
answered  Does the FefermanSchutte analysis give a precise characterization of Predicative SecondOrder Arithmetic? 
Jul 12 
comment 
Generalizations of the Tietze extension theorem (and Lusin's theorem)
Tietze's extension theorem also holds for mappings into locally convex spaces, see msp.org/pjm/1951/13/pjmv1n3p04p.pdf . 
Jun 25 
awarded  Informed 
Jun 25 
awarded  Revival 
Jun 25 
awarded  Yearling 
Apr 26 
comment 
Can nonstandard analysis be used to prove results in constructive or computable analysis?
I do not know whether this is what you are looking for but Keita Yokoama used nonstandard analysis to analyze the strength of the Riemann mapping theorem in terms of reverse mathematics, see math.tohoku.ac.jp/~ykeita/papers/nonstrmapping.pdf 
Feb 17 
awarded  Enthusiast 
Feb 1 
awarded  Commentator 
Feb 1 
comment 
Partitions of central sets via dynamical systems
Asaf: The sets $S,S′$ are clearly central. But I do not see why this implies that $\{ s_{n′} \mid n′\in S′ \}$ is central. However, this might be what Hillel was thinking about. Maybe there is just an argument missing 
Feb 1 
comment 
Partitions of central sets via dynamical systems
@Gabor: your right that should be 0, thank you. It is now corrected. 
Feb 1 
revised 
Partitions of central sets via dynamical systems
corrected definition of proximality 
Feb 1 
asked  Partitions of central sets via dynamical systems 