Showing 1–6 of 6 results for author: Reeken, M

Effective cardinals in the nonstandard universe

Authors: Vladimir Kanovei, Michael Reeken

Abstract: We study the structure of effective cardinals in the nonstandard set universe of Hrbacek set theory HST. Some results resemble those known in descriptive set theory in the domain of Borel reducibility of equivalence relations. We study the structure of effective cardinals in the nonstandard set universe of Hrbacek set theory HST. Some results resemble those known in descriptive set theory in the domain of Borel reducibility of equivalence relations. △ Less

Submitted 2 December, 2005; originally announced December 2005.

Comments: Support of DFG grant 436 RUS 17/68/05 and RFBR 03-01-00757 acknowledged

MSC Class: 03E70; 03H05; 03E10

Journal ref: Effective cardinals in the nonstandard universe. Mathematical Logic in Asia. Proceedings of the 9th Asian Logic Conference. Novosibirsk, Russia, 16-19 August, 2005, pp. 113-144. World Scientific Publishers, 2006

Some new results on Borel irreducibility of equivalence relations

Authors: Vladimir Kanovei, Michael Reeken

Abstract: We prove that orbit equivalence relations (ERs, for brevity) of generically turbulent Polish actions are not Borel reducible to ER s of a family which includes Polish actions of S_\infty, the group of all permutations of N, and is closed under the Fubini product modulo the ideal Fin of all finite sets, and some other operations. Our second main result shows that T_2, the equivalence relation cal… ▽ More We prove that orbit equivalence relations (ERs, for brevity) of generically turbulent Polish actions are not Borel reducible to ER s of a family which includes Polish actions of S_\infty, the group of all permutations of N, and is closed under the Fubini product modulo the ideal Fin of all finite sets, and some other operations. Our second main result shows that T_2, the equivalence relation called ``the equality of countable sets of the reals'', is not Borel reducible to another family of ERs which includes continuous actions of Polish CLI groups, Borel equivalence relations with G_δclasses, some ideals, and is closed under the Fubini product over $Fin.$ Both results and their corollaries extend some earlier irreducibility theorems by Hjorth and Kechris. △ Less

Submitted 11 March, 2002; originally announced March 2002.

Comments: 27 pages. Izvestiya: Mathematics, 2002, to appear

MSC Class: 03E15

Journal ref: Izvestiya: Mathematics, 2003, 67, 1, pp. 55--76

Borel and countably determined reducibility in nonstandard domain

Authors: Vladimir Kanovei, Michael Reeken

Abstract: We consider reducibility of equivalence relations (ERs, for brevity), in a nonstandard domain, in terms of the Borel reducibility and the countably determined (CD, for brevity) reducibility. This reveals phenomena partially analogous to those discovered in descriptive set theory. The Borel reducibility structure of Borel sets and (partially) CD reducibility structure of CD sets in *N is describe… ▽ More We consider reducibility of equivalence relations (ERs, for brevity), in a nonstandard domain, in terms of the Borel reducibility and the countably determined (CD, for brevity) reducibility. This reveals phenomena partially analogous to those discovered in descriptive set theory. The Borel reducibility structure of Borel sets and (partially) CD reducibility structure of CD sets in *N is described. We prove that all CD ERs with countable equivalence classes are CD-smooth, but not all are B-smooth, for instance, the ER of having finite difference on *N. Similarly to the Silver dichotomy theorem in Polish spaces, any CD ER on *N either has at most continuum-many classes or there is an infinite internal set of pairwise inequivalent elements. Our study of monadic ERs on *N, i.e., those of the form x E y iff |x-y| belongs to a given additive Borel cut in *N, shows that these ERs split in two linearly families, associated with countably cofinal and countably coinitial cuts, each of which is linearly ordered by Borel reducibility. The relationship between monadic ERs and the ER of finite symmetric difference on hyperfinite subsets of *N is studied. △ Less

Submitted 27 February, 2002; originally announced February 2002.

Comments: 34 pages

MSC Class: 03H05

Journal ref: Monatshefte fur Mathematik, 2003, 140, 3, pp. 197-231

What internal set theory knows about standard sets

Authors: Vladimir Kanovei, Michael Reeken

Abstract: We characterize those standard models M of ZFC which are embeddable, as the class of all standard sets, in a model of internal set theory IST. The necessary and sufficient condition is that 1) there is a wellordering < of M which does not destroy the ZFC schemata, and 2) the truth relation for (M,<) does not destroy Separation. The result is interpreted as the answer for the question in the ti… ▽ More We characterize those standard models M of ZFC which are embeddable, as the class of all standard sets, in a model of internal set theory IST. The necessary and sufficient condition is that 1) there is a wellordering < of M which does not destroy the ZFC schemata, and 2) the truth relation for (M,<) does not destroy Separation. The result is interpreted as the answer for the question in the title. △ Less

Submitted 25 November, 1997; originally announced November 1997.

Report number: Logic E-prints November 26, 1997

A nonstandard proof of the Jordan curve theorem

Authors: Vladimir Kanovei, Michael Reeken

Abstract: A new elementary nonstandard proof of the Jordan curve theorem is given. The proof (the technical part consists of 4 pages) is self-contained, except for the Jordan theorem for polygons taken for granted. A new elementary nonstandard proof of the Jordan curve theorem is given. The proof (the technical part consists of 4 pages) is self-contained, except for the Jordan theorem for polygons taken for granted. △ Less

Submitted 7 August, 1996; originally announced August 1996.

Report number: Logic E-prints August 08, 1996

Journal ref: Real Analysis Exchange, 1999, 24, 1, pp. 161--170

Isomorphism property in nonstandard extensions of ZFC universe

Authors: Vladimir Kanovei, Michael Reeken

Abstract: We study models of HST, a nonstandard set theory which includes, in particular, the ZFC Replacement and Separation schemata in the language containing the membership and standardness predicates, and Saturation for well-orderable families of internal sets. This theory admits an adequate formulation of the isomorphism property IP: "any two elementarily equivalent internally presented structures… ▽ More We study models of HST, a nonstandard set theory which includes, in particular, the ZFC Replacement and Separation schemata in the language containing the membership and standardness predicates, and Saturation for well-orderable families of internal sets. This theory admits an adequate formulation of the isomorphism property IP: "any two elementarily equivalent internally presented structures of a wellorderable language are isomorphic." IP implies, for instance, that all infinite internal sets are equinumerous, and there exists a unique (modulo isomorphisms) internal elementary extension of the standard reals. We prove that IP is independent of HST (using the class of all sets constructible from internal sets) and consistent with HST (using generic extensions of $\HST$ models by a sufficient number of generic isomorphisms). △ Less

Submitted 1 March, 1996; originally announced March 1996.

Report number: Logic E-prints March 02, 1996

Journal ref: Annals of Pure and Applied Logic, 1997, 88, pp. 1-25