Author:
Ardeshir Mohammad,Ramezanian Rasoul
Reference13 articles.
1. Decidability and Specker sequences in intuitionistic mathematics;Ardeshir;Math. Log. Q,2009
2. The double negation of the intermediate value theroem;Ardeshir;Ann. Pure Appl. Log,2010
3. A fan-theoretic equivalent of the antithesis of Specker's theorem;Berger;Indag. Math,2007
4. The anti-Specker property;Berger;a Heine-Borel property, and uniform continuity, Arch. Math. Log,2008
5. Rearranging Series Constructively;Berger;J. Univers. Comput. Sci,2009