The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Vladimir Kanovei: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Vladimir Kanovei
    Linearization of Definable Order Relations. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2000, v:102, n:1-2, pp:69-100 [Journal]
  2. Vladimir Kanovei, Michael Reeken
    Isomorphism Property in Nonstandard Extensions of the ZFC Universe. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1997, v:88, n:1, pp:1-25 [Journal]
  3. Vladimir Kanovei
    Uniqueness, Collection, and External Collapse of Cardinals in IST and Models of Peano Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:1, pp:318-324 [Journal]
  4. Vladimir Kanovei
    On External Scott Algebras in Nonstandard Models of Peano Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:2, pp:586-607 [Journal]
  5. Vladimir Kanovei
    An Ulm-Type Classification Theorem for Equivalence Relations in Solovay Model. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1333-1351 [Journal]
  6. Vladimir Kanovei
    On Non-Wellfounded Iterations of The Perfect Set Forcing. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:551-574 [Journal]
  7. Vladimir Kanovei
    Ulm Classification of Analytic Equivalence Relations in Generic Universes. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1998, v:44, n:, pp:287-303 [Journal]
  8. Vladimir Kanovei, Michiel van Lambalgen
    On a Spector Ultrapower for the Solovay Model. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1997, v:43, n:, pp:389-395 [Journal]
  9. Vladimir Kanovei, Michael Reeken
    On Baire Measurable Homomorphisms of Quotients of the Additive Group of the Reals. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:3, pp:377-384 [Journal]
  10. Vladimir Kanovei, Michael Reeken
    A theorem on ROD-hypersmooth equivalence relations in the Solovay model. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2003, v:49, n:3, pp:299-304 [Journal]
  11. Vladimir Kanovei, Michael Reeken
    Loeb Measure from the Point of View of a Coin Flipping Game. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1996, v:42, n:, pp:19-26 [Journal]
  12. Vladimir Kanovei, Michael Reeken
    Special Model Axiom in Nonstandard Set Theory. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:371-384 [Journal]
  13. Vladimir Kanovei, Michael Reeken
    Extending Standard Models of ZFC to Models of Nonstandard Set Theories. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2000, v:64, n:1, pp:37-59 [Journal]
  14. Vladimir Kanovei, Michael Reeken
    Internal approach to external sets and universes (Part I). [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:2, pp:229-257 [Journal]
  15. Vladimir Kanovei, Michael Reeken
    Internal approach to external sets and universes (Part II). [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:3, pp:347-376 [Journal]
  16. Vladimir Kanovei, Michael Reeken
    Internal approach to external sets and universes (Part III). [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:56, n:3, pp:293-322 [Journal]
  17. Vladimir Kanovei, Michael Reeken
    Elementary Extensions of External Classes in a Nonstandard Universe. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1998, v:60, n:2, pp:253-273 [Journal]
  18. Bruno Durand, Vladimir Kanovei, Vladimir A. Uspensky, Nikolai K. Vereshchagin
    Do stronger definitions of randomness exist? [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:3, pp:1987-1996 [Journal]

  19. A nonstandard set theory in the Î\displaystyle\in-language. [Citation Graph (, )][DBLP]


  20. A version of the Jensen-Johnsbråten coding at arbitrary level n>= 3. [Citation Graph (, )][DBLP]


Search in 0.122secs, Finished in 0.123secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002