Undecidable hypotheses in Edward Nelson's internal set theory
V. G. Kanovei

This publication is cited in the following articles:

1. Karel Hrbacek, Nonstandard Methods and Applications in Mathematics, 2017, 80  
2. Vladimir Kanovei, Mikhail G. Katz, Thomas Mormann, “Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics”, Found Sci, 2012  
3. V. G. Kanovei, V. A. Lyubetskii, “Problems in set-theoretic nonstandard analysis”, Russian Math. Surveys, 62:1 (2007), 45–111                
4. Kanovei V., Reeken M., “Effective Cardinals in the Nonstandard Universe”, Mathematical Logic in Asia, eds. Goncharov S., Downey R., Ono H., World Scientific Publ Co Pte Ltd, 2006, 113–144    
5. Petr Andreev, Karel Hrbacek, “Standard sets in nonstandard set theory”, J. symb. log., 69:1 (2004), 165  
6. K Hrbacek, “Realism, nonstandard set theory, and large cardinals”, Annals of Pure and Applied Logic, 109:1-2 (2001), 15    
7. Vladimir Kanovei, Michael Reeken, “Extending Standard Models of ZFC to Models of Nonstandard Set Theories”, Studia Logica, 64:1 (2000), 37  
8. Karl-Georg Schlesinger, “Supermanifolds and sequences of computable structures: a link via a nonstandard extension of differential geometry”, Rend Circ Mat Palermo, 48:3 (1999), 563      
9. V. G. Kanovei, M. Reeken, “Extension of standard models of ZFC to models of Nelson's nonstandard set theory IST”, Math. Notes, 66:2 (1999), 160–166            
10. P. V. Andreev, “On definable predicates of standardness in internal set theory”, Math. Notes, 66:6 (1999), 665–669            
11. S. P. Novikov, A. S. Schwarz, “Discrete Lagrangian systems on graphs. Symplectic-topological properties”, Russian Math. Surveys, 54:1 (1999), 258–259              
12. Vladimir Kanovei, Michael Reeken, “Elementary Extensions of External Classes in a Nonstandard Universe”, Studia Logica, 60:2 (1998), 253  
13. Vladimir A. Uspensky, Logic and Scientific Methods, 1997, 457  
14. Vladimir Kanovei, Michael Reeken, “Internal approach to external sets and universes”, Stud Logica, 56:3 (1996), 293  
15. Vladimir Kanovei, Michael Reeken, “Internal approach to external sets and universes”, Stud Logica, 55:3 (1995), 347        
16. Vladimir Kanovei, Michael Reeken, “Internal approach to external sets and universes”, Stud Logica, 55:2 (1995), 229        
17. V. Kanovei, “Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic”, J. symb. log., 60:1 (1995), 318