default search action
Vladimir Kanovei
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j41]Vladimir Kanovei
, Vassily A. Lyubetsky:
A good lightface Δn1 well-ordering of the reals does not imply the existence of boldface Δn-11 well-orderings. Ann. Pure Appl. Log. 175(6): 103426 (2024) - [j40]Vladimir Kanovei
Jensen Δn1 Reals by Means of ZFC and Second-Order Peano Arithmetic. Axioms 13(2): 96 (2024) - 2022
- [j39]Vladimir Kanovei
A Model in Which the Separation Principle Holds for a Given Effective Projective Sigma-Class. Axioms 11(3): 122 (2022) - [j38]Vladimir Kanovei
A Model in Which Well-Orderings of the Reals Appear at a Given Projective Level. Axioms 11(8): 354 (2022) - 2021
- [j37]Vladimir Kanovei
The full basis theorem does not imply analytic wellordering. Ann. Pure Appl. Log. 172(4): 102929 (2021) - [j36]Ali Enayat, Vladimir Kanovei
An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited. J. Math. Log. 21(3): 2150014:1-2150014:22 (2021) - 2020
- [j35]Vladimir Kanovei
Canonization of Smooth Equivalence Relations on Infinite-Dimensional E0-Large Products. Notre Dame J. Formal Log. 61(1): 117-128 (2020)
2010 – 2019
- 2019
- [j34]Sy-David Friedman, Victoria Gitman
A model of second-order arithmetic satisfying AC but not DC. J. Math. Log. 19(1): 1850013:1-1850013:39 (2019) - [j33]Vladimir Kanovei
Definable Minimal collapse Functions at Arbitrary Projective Levels. J. Symb. Log. 84(1): 266-289 (2019) - 2018
- [j32]Vladimir Kanovei
Countable OD sets of reals belong to the ground model. Arch. Math. Log. 57(3-4): 285-298 (2018) - [j31]Vladimir Kanovei
Definable E0 classes at arbitrary projective levels. Ann. Pure Appl. Log. 169(9): 851-871 (2018) - [j30]Frederik S. Herzberg
Minimal Axiomatic Frameworks for Definable Hyperreals with Transfer. J. Symb. Log. 83(1): 385-391 (2018) - 2017
- [j29]Mohammad Golshani, Vladimir Kanovei
A Groszek-Laver pair of undistinguishable E0-classes. Math. Log. Q. 63(1-2): 19-31 (2017) - 2016
- [j28]Vladimir Kanovei
Counterexamples to countable-section uniformization and separation. Ann. Pure Appl. Log. 167(3): 262-283 (2016) - [j27]Piotr Blaszczyk
A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos. Logica Universalis 10(4): 393-405 (2016) - 2015
- [j26]Vladimir Kanovei
Grossone approach to Hutton and Euler transforms. Appl. Math. Comput. 255: 36-43 (2015) - [j25]Vladimir Kanovei
A definable E 0 class containing no definable elements. Arch. Math. Log. 54(5-6): 711-723 (2015) - 2013
- [j24]Vladimir Kanovei
On effective σ-boundedness and σ-compactness. Math. Log. Q. 59(3): 147-166 (2013) - 2012
- [j23]Vladimir Kanovei
An infinity which depends on the axiom of choice. Appl. Math. Comput. 218(16): 8196-8202 (2012) - 2010
- [j22]Joan Bagaria
On coding uncountable sets by reals. Math. Log. Q. 56(4): 409-424 (2010)
2000 – 2009
- 2004
- [j21]Vladimir Kanovei
A definable nonstandard model of the reals. J. Symb. Log. 69(1): 159-164 (2004) - 2003
- [j20]Vladimir Kanovei
A theorem on ROD-hypersmooth equivalence relations in the Solovay model. Math. Log. Q. 49(3): 299-304 (2003) - [j19]Bruno Durand, Vladimir Kanovei
Do stronger definitions of randomness exist? Theor. Comput. Sci. 290(3): 1987-1996 (2003) - 2001
- [j18]Vladimir Kanovei
A version of the Jensen-Johnsbråten coding at arbitrary level n>= 3. Arch. Math. Log. 40(8): 615-628 (2001) - 2000
- [j17]Vladimir Kanovei
A nonstandard set theory in the Î\displaystyle\in-language. Arch. Math. Log. 39(6): 403-416 (2000) - [j16]Vladimir Kanovei
Linearization of Definable Order Relations. Ann. Pure Appl. Log. 102(1-2): 69-100 (2000) - [j15]Vladimir Kanovei, Michael Reeken:
On Baire Measurable Homomorphisms of Quotients of the Additive Group of the Reals. Math. Log. Q. 46(3): 377-384 (2000) - [j14]Vladimir Kanovei
Extending Standard Models of ZFC to Models of Nonstandard Set Theories. Stud Logica 64(1): 37-59 (2000)
1990 – 1999
- 1999
- [j13]Vladimir Kanovei
On Non-Wellfounded Iterations of The Perfect Set Forcing. J. Symb. Log. 64(2): 551-574 (1999) - [j12]Vladimir Kanovei
Special Model Axiom in Nonstandard Set Theory. Math. Log. Q. 45: 371-384 (1999) - 1998
- [j11]Vladimir Kanovei
Ulm Classification of Analytic Equivalence Relations in Generic Universes. Math. Log. Q. 44: 287-303 (1998) - [j10]Vladimir Kanovei
Elementary Extensions of External Classes in a Nonstandard Universe. Stud Logica 60(2): 253-273 (1998) - 1997
- [j9]Vladimir Kanovei
Isomorphism Property in Nonstandard Extensions of the ZFC Universe. Ann. Pure Appl. Log. 88(1): 1-25 (1997) - [j8]Vladimir Kanovei
An Ulm-Type Classification Theorem for Equivalence Relations in Solovay Model. J. Symb. Log. 62(4): 1333-1351 (1997) - [j7]Vladimir Kanovei
On a Spector Ultrapower for the Solovay Model. Math. Log. Q. 43: 389-395 (1997) - 1996
- [j6]Vladimir Kanovei
On External Scott Algebras in Nonstandard Models of Peano Arithmetic. J. Symb. Log. 61(2): 586-607 (1996) - [j5]Vladimir Kanovei
Loeb Measure from the Point of View of a Coin Flipping Game. Math. Log. Q. 42: 19-26 (1996) - [j4]Vladimir Kanovei
Internal approach to external sets and universes (Part III). Stud Logica 56(3): 293-322 (1996) - 1995
- [j3]Vladimir Kanovei:
Uniqueness, Collection, and External Collapse of Cardinals in IST and Models of Peano Arithmetic. J. Symb. Log. 60(1): 318-324 (1995) - [j2]Vladimir Kanovei
Internal approach to external sets and universes (Part I). Stud Logica 55(2): 229-257 (1995) - [j1]Vladimir Kanovei
Internal approach to external sets and universes (Part II). Stud Logica 55(3): 347-376 (1995)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-03 00:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: