Author:
van den Berg Benno,Briseid Eyvind,Safarik Pavol
Reference49 articles.
1. Nonstandard Methods in Fixed Point Theory;Aksoy,1990
2. Weak theories of nonstandard arithmetic and analysis;Avigad,2005
3. The metamathematics of ergodic theory;Avigad;Ann. Pure Appl. Logic,2009
4. Local stability of ergodic averages;Avigad;Trans. Amer. Math. Soc.,2010
5. Transfer principles in nonstandard intuitionistic arithmetic;Avigad;Arch. Math. Logic,2002
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献