BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Gerald Kuba contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Let K be a set of infinite cardinals such that the cardinality of K is the first strong limit cardinal greater than uncountably many strong limit cardinals. We construct a family of pairwise non-embeddable groups which contains 2^k groups of order k for every cardinal number k in K. (In particular, in this family small groups are never embeddable in large groups.)
Our main result is a construction of four families C_1,C_2,B_1,B_2 which are equipollent with the power set of the real line R and satisfy the following properties. (i) The members of the families are proper subfields of R whose algebraic closures equal the field C. (ii) Each field in C_1vC_2 contains a Cantor set. (iii) Each field in B_1vB_2 is a Bernstein set. (iv) All fields in C_1vB_1 are isomorphic. (v) If K,L are fields in C_2vB_2 then K is isomorphic to a subfield of L only in the trivial case K=L.
Let c=2^aleph0 denote the cardinality of the continuum and let a,b,k be infinite cardinal numbers with a<b\leq 2^a. We show that there exist precisely 2^b T0-spaces of size a and weight b up to homeomorphism. Among these non-homeomorphic spaces we track down (1) 2^b zero-dimensional, scattered, paracompact, perfectly normal spaces (which are also extremally disconnected in case that b=2^a); (2) 2^b connected and locally connected Hausdorff spaces; (3) 2^b pathwise connected and locally pathwise connected, paracompact, perfectly normal spaces provided that a\geq c; (4) 2^b connected, nowhere locally connected, totally pathwise disconnected, paracompact, perfectly normal spaces provided that a\geq c; (5) 2^b scattered, compact T1-spaces; (6) 2^b connected, locally connected, compact T1-spaces; (7) 2^b pathwise connected and scattered, compact T0-spaces; (8) 2^b scattered, paracompact P_k-spaces whenever a^{<k}=a and b^{<k}=b and 2^b>2^a.
Let A be an arbitrary countable set of reals, for example A=Q. Let g be an arbitrary mapping from A into the positive reals, for example g(a)=2^a. We show how a strictly increasing real function f can be constructed such that f'(x)=g(x) for every x in the set A and f'(x)=0 for almost all real numbers x.
Let X_t be a totally disconnected subset of the real line R for each t in R. We construct a partition {Y_t | t in R} of R into nowhere dense Lebesgue null sets Y_t such that for every t in R there exists an increasing homeomorphism from X_t onto Y_t. In particular, the real line can be partitioned into 2^{aleph_0} Cantor sets and also into 2^{aleph_0} mutually non-homeomorphic compact subspaces. Furthermore we prove that for every cardinal number k with 2 \leq k \leq 2^{aleph_0} the real line (as well as the Baire space R\Q) can be partitioned into exactly k homeomorphic Bernstein sets and also into exactly k mutually non-homeomorphic Bernstein sets. We also investigate partitions of R into Marczewski sets, including the possibility that they are Luzin sets or Sierpinski sets.
Let Y_n(t) denote the set of all polynomials over the ring Z which are reducible over the field Q and of degree n>1 and of height not greater than t. We show that the true order of magnitude of |Y_n(t)| equals t^2 log t in the special case n=2 and it equals t^n for each n>2. We also determine the true order of magnitude of the size of certain interesting subsets of Y_n(t).
We construct a continuum of non-homeomorphic compact subspaces of the real line R without singleton components. Thus from the purely topological point of view the real line contains not only more closed sets than open sets but also more closures of open sets than open sets. On the other hand, we show that this discrepancy vanishes either if the topological point of view is sharpened in the metrical or in the order-theoretical direction, or if R is replaced with R^n for dimension n>1. Furthermore, we track down a continuum of topological types of closed and totally disconnected subsets of R. In doing so we also track down a continuum of metrical types of infinite, discrete subsets of the unit interval [0,1]. (As a consequence, any countably infinite discrete space has a continuum of non-homeomorphic metrizable compactifications.)
We show that (in ZFC) every infinite set S can be equipped with 2^|S| complete metrics which generate mutually non-homeomorphic scattered order topologies on S. Furthermore, we show that (in ZFC) every uncountable set S can be equipped with 2^|S| mutually non-homeomorphic scattered and compact order topologies. (This would be unprovable in ZFC for countably infinite S.) In both enumeration theorems the cardinality 2^|S| is optimal.