Source author record

Lajos Soukup

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.GN math.CO Discrete Mathematics

Catalog footprint

Research overview

32works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2024arXiv

On the companion of spaces having dense, relatively countable compact subspaces

The notion of "pseudocompactness" was introduced by Hewitt. The concept of relatively countably compact subspaces were explored by Marjanovic to show that a $Ψ$ -space is pseudocompact. A topological space is said to be DRC (DRS) iff it possesses a dense, relatively countably compact (or relatively sequentially compact, respectively) subspace. The concept of selectively pseudocompact game Sp(X) and the selectively sequentially pseudocompact game Ssp(X) were introduced by Dorantes-Aldama and Shakhmatov. They explored the relationship between the existence of a winning strategy and a stationary winning strategy for player P in these games. In particular, they observed that there exists a stationary winning strategy in the game Sp(X) (Ssp(X)) for Player P iff $X$ is DRC (or DRS, respectively). In this paper we introduce natural weakening of the properties DRC and DRS: a space $X$ is DRCo ( DRSo) iff there is a sequence $(D_n:n \in { ω})$ of dense subsets of $X$ such that every sequence $(d_n:n \in { ω} )$ with $d_n \in D_n$ has an accumulation point (or contains a convergent subsequence, respectively). These properties are also equivalent to the existence of some limited knowledge winning strategy on the corresponding games $Sp(X)$ and $Ssp(X)$ . Clearly, DRS implies DRC and DRSo, DRC or DRSo imply DRCo. The main part of this paper is devoted to prove that apart from these trivial implications, consistently there are no other implications between these properties.

preprint2022arXiv

Elusive properties of infinite graphs

A graph property is said to be elusive ( evasive) if every algorithm testing this property by asking questions of the form "is there an edge between vertices x and y" requires, in the worst case, to ask about all pairs of vertices. The unsettled Aanderaa-Karp-Rosenberg conjecture is that every monotone graph property is elusive for finite vertex sets. We show that the situation is completely different for infinite vertex sets: the monotone graph properties "every vertex has degree at least n" and "every connected components has size at least n" where n is a natural number, are not elusive for infinite vertex sets, but the monotone graph property "the graph contains a cycle" is elusive for arbitrary vertex sets. On the other hand, we also prove that every algorithm testing some natural monotone graph properties, e.g "every vertex has degree at least n" or "connected" on the vertex set omega should check "lots of edges", more precisely, all the edges of an infinite complete subgraph.

preprint2022arXiv

On resolvability of products

All spaces below are $T_0$ and crowded (i.e. have no isolated points). For $n \le ω$ let $M(n)$ be the statement that there are $n$ measurable cardinals and $Π(n)$ ( $Π^+(n)$ ) that there are $n+1$ (0-dimensional $T_2$ ) spaces whose product is irresolvable. We prove that $M(1),\,Π(1)$ and $Π^+(1)$ are equiconsistent. For $1 < n < ω$ we show that $CON(M(n))$ implies $CON(Π^+(n))$ . Finally, $CON(M(ω))$ implies the consistency of having infinitely many crowded 0-dimensional $T_2$ -spaces such that the product of any finitely many of them is irresolvable. These settle old problems of Malychin. Concerning an even older question of Ceder and Pearson, we show that the following are consistent modulo a measurable cardinal: (i) There is a 0-dimensional $T_2$ space $X$ with $ω_2 \le Δ(X) \le 2^{ω_1}$ whose product with any countable space is not $ω_2$ -resolvable, hence not maximally resolvable. (ii) There is a monotonically normal space $X$ with $Δ(X) = \aleph_ω$ whose product with any countable space is not $ω_1$ -resolvable, hence not maximally resolvable. These significantly improve a result of Eckertson.

preprint2020arXiv

On $κ$ -homogeneous, but not $κ$ -transitive permutation groups

A permutation group $G$ on a set $A$ is $κ$ -homogeneous iff for all $X,Y\in [A]^κ$ with $|A\setminus X|=|A\setminus Y|=|A|$ there is a $g\in G$ with $g[X]=Y$ . $G$ is $κ$ -transitive iff for any injective function $f$ with $dom(f)\cup ran(f)\in [A]^{\le κ}$ and $|A\setminus dom(f)|=|A\setminus ran(f)|=|A|$ there is a $g\in G$ with $f\subset g$ . Giving a partial answer to a question of P. M. Neumann we show that there is an $ω$ -homogeneous but not $ω$ -transitive permutation group on a cardinal $λ$ provided (i) $λ<ω_ω$ , or (ii) $2^ω<λ$ , and $μ^ω=μ^+$ and $\Box_μ$ hold for each $μ\leλ$ with $ω=cf(μ)<{μ}$ , or (iii) our model was obtained by adding $ω_1$ many Cohen generic reals to some ground model. For $κ>ω$ we give a method to construct large $κ$ -homogeneous, but not $κ$ -transitive permutation groups. Using this method we show that there exists $κ^+$ -homogeneous, but not $κ^+$ -transitive permutation groups on $κ^{+n}$ for each infinite cardinal $κ$ and natural number $n\ge 1$ provided $V=L$ .

preprint2020arXiv

On the free set number of topological spaces and their $G_δ$ -modifications

For a topological space $X$ we propose to call a subset $S \subset X$ "free in $X$ " if it admits a well-ordering that turns it into a free sequence in $X$ . The well-known cardinal function $F(X)$ is then definable as $\sup\{|S| : S \text{ is free in } X\}$ and will be called the free set number of $X$ . We prove several new inequalities involving $F(X)$ and $F(X_δ)$ , where $X_δ$ is the $G_δ$ -modification of $X$ : $\bullet$ $L(X) \le 2^{2^{F(X)}}$ if $X$ is $T_2$ and $L(X)\le 2^{F(X)}$ if $X$ is $T_3$ ; $\bullet$ $|X|\le 2^{2^{F(X) \cdot ψ_c(X)}} \le 2^{2^{F(X) \cdot χ(X)}}$ for any $T_2$ -space $X$ ; $\bullet$ $F(X_δ)\le 2^{2^{2^{F(X)}}}$ if $X$ is $T_2$ and $F(X_δ)\le 2^{2^{F(X)}}$ if $X$ is $T_3$ .

preprint2016arXiv

First countable and almost discretely Lindelöf $T_3$ spaces have cardinality at most continuum

A topological space $X$ is called almost discretely Lindelöf if every discrete set $D \subset X$ is included in a Lindelöf subspace of $X$ . We say that the space $X$ is {\em $μ$ -sequential} if for every non-closed set $A \subset X$ there is a sequence of length $\le μ$ in $A$ that converges to a point which is not in $A$ . With the help of a technical theorem that involves elementary submodels, we establish the following two results concerning such spaces. (1) For every almost discretely Lindelöf $T_3$ space $X$ we have $|X| \le 2^{χ(X)}$ . (2) If $X$ is a $μ$ -sequential $T_2$ space of pseudocharacter $ψ(X) \le 2^μ$ and for every free set $D \subset X$ we have $L(\overline{D}) \le μ$ , then $|X| \le 2^μ$ . The case $χ(X) = ω$ of (1) provides a solution to Problem 4.5 from "I. Juhász, V. Tkachuk, and R. Wilson, Weakly linearly Lindelöf monotonically normal spaces are Lindelöf", while the case $μ= ω$ of (2) is a partial improvement on the main result of "A.V. Archangel'skii and R.Z. Buzyakova, On some properties of linearly Lindelöf spaces".

preprint2015arXiv

Anti-Urysohn spaces

All spaces are assumed to be infinite Hausdorff spaces. We call a space "anti-Urysohn" $($ AU in short $)$ iff any two non-emty regular closed sets in it intersect. We prove that $\bullet$ for every infinite cardinal $κ$ there is a space of size $κ$ in which fewer than $cf(κ)$ many non-empty regular closed sets always intersect; $\bullet$ there is a locally countable AU space of size $κ$ iff $ω\le κ\le 2^{\mathfrak c}$ . A space with at least two non-isolated points is called "strongly anti-Urysohn" $($ SAU in short $)$ iff any two infinite closed sets in it intersect. We prove that $\bullet$ if $X$ is any SAU space then $\mathfrak s\le |X|\le 2^{2^{\mathfrak c}}$ ; $\bullet$ if $\mathfrak r=\mathfrak c$ then there is a separable, crowded, locally countable, SAU space of cardinality $\mathfrak c$ ; \item if $λ> ω$ Cohen reals are added to any ground model then in the extension there are SAU spaces of size $κ$ for all $κ\in [ω_1,λ]$ ; $\bullet$ if GCH holds and $κ\leλ$ are uncountable regular cardinals then in some CCC generic extension we have $\mathfrak s=κ$ , $\,\mathfrak c=λ$ , and for every cardinal $μ\in [\mathfrak s, \mathfrak c]$ there is an SAU space of cardinality $μ$ . The questions if SAU spaces exist in ZFC or if SAU spaces of cardinality $> \mathfrak c$ can exist remain open.

preprint2015arXiv

Pinning Down versus Density

The pinning down number ${pd}(X)$ of a topological space $X$ is the smallest cardinal $κ$ such that for any neighborhood assignment $U:X\to τ_X$ there is a set $A\in [X]^κ$ with $A\cap U(x)\ne\emptyset$ for all $x\in X$ . Clearly, c $(X) \le {pd}(X) \le {d}(X)$ . Here we prove that the following statements are equivalent: (1) $2^κ<κ^{+ω}$ for each cardinal $κ$ ; (2) ${d}(X)={pd}(X)$ for each Hausdorff space $X$ ; (3) ${d}(X)={pd}(X)$ for each 0-dimensional Hausdorff space $X$ . This answers two questions of Banakh and Ravsky. The dispersion character $Δ(X)$ of a space $X$ is the smallest cardinality of a non-empty open subset of $X$ . We also show that if ${pd}(X)<{d}(X)$ then $X$ has an open subspace $Y$ with ${pd}(Y)<{d}(Y)$ and $|Y| = Δ(Y)$ , moreover the following three statements are equiconsistent: (i) There is a singular cardinal $λ$ with $pp(λ)>λ^+$ , i.e. Shelah's Strong Hypothesis fails; (ii) there is a 0-dimensional Hausdorff space $X$ such that $|X|=Δ(X)$ is a regular cardinal and ${pd}(X)<{d}(X)$ ; (iii) there is a topological space $X$ such that $|X|=Δ(X)$ is a regular cardinal and ${pd}(X)<{d}(X)$ . We also prove that $\bullet$ ${d}(X)={pd}(X)$ for any locally compact Hausdorff space $X$ ; $\bullet$ for every Hausdorff space $X$ we have $|X|\le 2^{2^{{pd}(X)}}$ and ${pd}(X)<{d}(X)$ implies $Δ(X)< 2^{2^{{pd}(X)}}$ ; $\bullet$ for every regular space $X$ we have $\min\{Δ(X),\, w(X)\}\le 2^{{pd}(X)}\,$ and ${d}(X)<2^{{pd}(X)},\,$ moreover ${pd}(X)<{d}(X)$ implies $\,Δ(X)< {2^{{pd}(X)}}$ .

preprint2014arXiv

Between countably compact and $ω$ -bounded

Given a property $P$ of subspaces of a $T_1$ space $X$ , we say that $X$ is {\em $P$ -bounded} iff every subspace of $X$ with property $P$ has compact closure in $X$ . Here we study $P$ -bounded spaces for the properties $P \in \{ωD, ωN, C_2 \}$ where $ωD \, \equiv$ "countable discrete", $ωN \, \equiv$ "countable nowhere dense", and $C_2 \,\equiv$ "second countable". Clearly, for each of these $P$ -bounded is between countably compact and $ω$ -bounded. We give examples in ZFC that separate all these boundedness properties and their appropriate combinations. Consistent separating examples with better properties (such as: smaller cardinality or weight, local compactness, first countability) are also produced. We have interesting results concerning $ωD$ -bounded spaces which show that $ωD$ -boundedness is much stronger than countable compactness: $\bullet$ Regular $ωD$ -bounded spaces of Lindelöf degree $< cov(\mathcal{M})$ are $ω$ -bounded. $\bullet$ Regular $ωD$ -bounded spaces of countable tightness are $ωN$ -bounded, and if $\mathfrak{b} > ω_1$ then even $ω$ -bounded. $\bullet$ If a product of Hausdorff space is $ωD$ -bounded then all but one of its factors must be $ω$ -bounded. $\bullet$ Any product of at most $\mathfrak{t}$ many Hausdorff $ωD$ -bounded spaces is countably compact. As a byproduct we obtain that regular, countably tight, and countably compact spaces are discretely generated.

preprint2014arXiv

Partitioning bases of topological spaces

We investigate whether an arbitrary base for a dense-in-itself topological space can be partitioned into two bases. We prove that every base for a T_3 Lindelöf topology can be partitioned into two bases while there exists a consistent example of a first countable, 0-dimensional, Hausdorff space of size continuum and weight ω_1 which admits a point countable base without a partition to two bases. Several related results are proved and the paper finishes with a list of open problems.

preprint2013arXiv

Constructing, sampling and counting graphical realizations of restricted degree sequences

With the current burst of network theory (especially in connection with social and biological networks) there is a renewed interest on realizations of given degree sequences. In this paper we propose an essentially new degree sequence problem: we want to find graphical realizations of a given degree sequence on labeled vertices, where certain would-be edges are {\em forbidden}. Then we want to sample uniformly and efficiently all these possible realizations. (This problem can be considered as a special case of Tutte's $f$ -factor problem, however it has a favorable sampling speed.) We solve this {\em restricted degree sequence} (or RDS for short) problem completely if the forbidden edges form a bipartite graph, which consist of the union of a (not necessarily maximal) 1-factor and a (possible empty) star. Then we show how one can sample the space of all realizations of these RDSs uniformly and efficiently when the degree sequence describes a {\em half-regular} bipartite graph. Our result contains, as special cases, the well-known result of Kannan, Tetali and Vempala on sampling regular bipartite graphs and a recent result of Greenhill on sampling regular directed graphs (so it also provides new proofs of them). The RDS problem descried above is self-reducible, therefore our {\em fully polynomial almost uniform sampler} (a.k.a. FPAUS) on the space of all realizations also provides a {\em fully polynomial randomized approximation scheme} (a.k.a. FPRAS) for approximate counting of all realizations.

preprint2013arXiv

Regular spaces of small extent are omega-resolvable

We improve some results of Pavlov and of Filatova, respectively, concerning a problem of Malychin by showing that every regular space X that satisfies Delta(X)>ext(X) is omega-resolvable. Here Delta(X), the dispersion character of X, is the smallest size of a non-empty open set in X and ext(X), the extent of X, is the supremum of the sizes of all closed-and-discrete subsets of X. In particular, regular Lindelöf spaces of uncountable dispersion character are omega-resolvable. We also prove that any regular Lindelöf space X with |X|=Δ(X)=omega_1 is even omega_1-resolvable. The question if regular Lindelöf spaces of uncountable dispersion character are maximally resolvable remains wide open.

preprint2012arXiv

Comparing weak versions of separability

Our aim is to investigate spaces with sigma-discrete and meager dense sets, as well as selective versions of these properties. We construct numerous examples to point out the differences between these classes while answering questions of Tkachuk [30], Hutchinson [17] and the authors of [8].

preprint2012arXiv

Towards random uniform sampling of bipartite graphs with given degree sequence

In this paper we consider a simple Markov chain for bipartite graphs with given degree sequence on $n$ vertices. We show that the mixing time of this Markov chain is bounded above by a polynomial in $n$ in case of {\em semi-regular} degree sequence. The novelty of our approach lays in the construction of the canonical paths in Sinclair's method.

preprint2010arXiv

A note on Noetherian type of spaces

The Noetherian type of a space X, Nt(X), is the least cardinal kappa such that X has a base B such that every element of the base is contained in less than kappa many elements of the base. Denote X the space obtained from 2^{aleph_omega} by declaring the G_delta sets to be open. Milovich proved that if Square_{aleph_omega} holds and (aleph_omega)^omega=aleph_{omega+1} then Nt(X)=omega_1. Answering a question of Spadaro, we show that if (aleph_omega)^omega=aleph_{omega+1} and a strong form of Chang Conjecture holds for aleph_ωthen Nt(X)>omega_1.

preprint2010arXiv

Balanced Vertices in Trees and a Simpler Algorithm to Compute the Genomic Distance

This paper provides a short and transparent solution for the covering cost of white-grey trees which play a crucial role in the algorithm of Bergeron {\it et al.}\ to compute the rearrangement distance between two multichromosomal genomes in linear time ({\it Theor. Comput. Sci.}, 410:5300-5316, 2009). In the process it introduces a new {\em center} notion for trees, which seems to be interesting on its own.

preprint2010arXiv

Club guessing for dummies

We give a direct, detailed and relatively short proof of Shelah's theorem on club guessing sequences on $S^{μ^+}_μ$ (for any regular, uncountable cardinal $μ$ ).

preprint2010arXiv

Conflict free colorings of (strongly) almost disjoint set-systems

A set-system $X$ is a $(λ, κ,μ)$ -system iff $|X|=λ$ , $|x|=κ$ for each $x\in X$ , and $X$ is $μ$ -almost disjoint. We write $[λ, κ, μ] -> ρ$ iff every $(λ, κ,μ)$ -system has a "conflict free coloring with $ρ$ colors", i.e. there is a coloring of the elements of $\cup X$ with $ρ$ colors such that for each element $x$ of $X$ there is a color $ξ<ρ$ such that exactly one element of $x$ has color $ξ$ . Our main object of study is the relation $[λ, κ, μ] -> ρ$ . We give full description of this relation when $κ$ is finite. We also show that if $d$ is a natural number then $[λ,κ,d]-> ω$ always holds. Under GCH we prove that $[λ,κ,ω]-> ω_2$ holds for $κ>ω_1$ , but the relation $[λ,κ,ω]-> ω_1$ is independent (modulo some large cardinals).

preprint2010arXiv

Dense families of countable sets below $c$

We show that it is consistent that the continuum is as large as you wish, and for each uncountable cardinal $κ$ below the continuum, there are a subset $T$ of the reals and a family $A$ of countable subsets of $T$ such that (1) both $T$ and $A$ have cardinality $κ$ , (2) $|\bar{a}\cap T|=κ$ for each $a\in A$ , (3) for each uncountable subset of $T$ contains some elements of $A$ , and so (i) there is an almost disjoint family of subsets of the reals with size and chromatic number $κ$ , (ii) there is a locally compact, locally countable $T_2$ space with cardinality spectrum $\{ω,κ\}$ .

preprint2010arXiv

Elementary submodels in infinite combinatorics

The usage of elementary submodels is a simple but powerful method to prove theorems, or to simplify proofs in infinite combinatorics. First we introduce all the necessary concepts of logic, then we prove classical theorems using elementary submodels. We also present a new proof of Nash-Williams's theorem on cycle-decomposition of graphs, and finally we improve a decomposition theorem of Laviolette concerning bond-faithful decompositions of graphs.

preprint2010arXiv

More on cardinal invariants of analytic P-ideals

Given an ideal $I$ on $ω$ let $a(I)$ ( $\bar{a}(I)$ ) be minimum of the cardinalities of infinite (uncountable) maximal $I$ -almost disjoint subsets of $[ω]^ω$ , and denote $b_I$ and $d_I$ the unbounding and dominating numbers of $(ω^ω,\le_I)$ . We show that (1) $a(I)>omega$ if $I$ is a summable ideal; (2) $a(Z)=ω$ and $\bar{a}(Z)\le a$ if $Z$ is a tall density ideal, (3) $b\le \bar{a}(I)$ , and $b_I=b$ and $d_I=d$ , for any analytic P-ideal $I$ on $ω$ . Given an analytic $P$ -ideal $I$ we investigate the relationship between the Sack, the $I$ -bounding, $I$ -dominating and $ω^ω$ -bounding properties of a given poset $P$ . For example, for the density zero ideal $Z$ we can prove: (i) a poset $P$ is $Z$ -bounding iff it has the Sacks property, (ii) if $P$ adds a slalom capturing all ground model reals then $P$ is $Z$ -dominating.

preprint2010arXiv

Pcf theory and cardinal invariants of the reals

The additivity spectrum ADD(I) of an ideal I is the set of all regular cardinals kappa such that there is an increasing chain {A_alpha:alpha<kappa\} in the ideal I such that the union of the chain is not in I. We investigate which set A of regular cardinals can be the additivity spectrum of certain ideals. Assume that I=B or I=N, where B denotes the sigma-ideal generated by the compact subsets of the Baire space omega^omega, and N is the ideal of the null sets. For countable sets we give a full characterization of the additivity spectrum of I: a non-empty countable set A of uncountable regular cardinals can be ADD(I) in some c.c.c generic extension iff A=pcf(A).

preprint2010arXiv

Superatomic Boolean algebras constructed from strongly unbounded functions

Using Koszmider's strongly unbounded functions, we show the following consistency result: Suppose that $κ,λ$ are infinite cardinals such that $κ^{+++} \leq λ$ , $κ^{<κ}=κ$ and $2^κ= κ^+$ , and $η$ is an ordinal with $κ^+\leq η<κ^{++}$ and $cf(η) = κ^+$ . Then, in some cardinal-preserving generic extension there is a superatomic Boolean algebra $B$ such that - $ht(B) = η+ 1$ , - the cardinality of the $α$ th level of $B$ is $κ$ for every $α<η$ , - and the cardinality of the $η$ th level of $B$ is $λ$ Especially, $\<ω\>_{ω_1}\concatenation \<ω_3\>$ and $\<ω_1\>_{ω_2}\concatenation \<ω_4\>$ can be cardinal sequences of superatomic Boolean algebras.

preprint2010arXiv

Wide scattered spaces and morasses

We show that it is relatively consistent with ZFC that 2^omega is arbitrarily large and every sequence s=(s_i:i<omega_2) of infinite cardinals with s_i<=2^omega is the cardinal sequence of some locally compact scattered space.

preprint1998arXiv

Sticks and clubs

We study combinatorial principles known as stick and club. Several variants of these principles and cardinal invariants connected to them are also considered. We introduce a new kind of side-by-side product of partial orders which we call pseudo-product. Using such products, we give several generic extensions where some of these principles hold together with not CH and Martin's Axiom for countable p.o.-sets. An iterative version of the pseudo-product is used under an inaccessible cardinal to show the consistency of the club principle for every stationary subset of limits of omega_1 together with not CH and Martin's Axiom for countable p.o.-sets.

preprint1997arXiv

Luzin and anti-Luzin almost disjoint families

Under MA_{omega_1} every uncountable almost disjoint family is either anti-Luzin or has an uncountable Luzin subfamily. This fails under CH. Related properties are also investigated.

preprint1997arXiv

Smooth graphs

A graph G on omega_1 is called <omega-smooth if for each uncountable subset W of omega_1, G is isomorphic to G[W-W'] for some finite W'. We show that in various models of ZFC if a graph G is <omega-smooth then G is necessarily trivial, i.e, either complete or empty. On the other hand, we prove that the existence of a non-trivial, <omega-smooth graph is also consistent with ZFC.

preprint1996arXiv

Combinatorial principles from adding Cohen reals

In this paper we first formulate several ``combinatorial principles'' concerning kappa \times omega matrices of subsets of omega and prove that they are valid in the generic extension obtained by adding any number of Cohen reals to any ground model V, provided that the parameter kappa is an omega-inaccessible regular cardinal in V. Then we present a large number of applications of these principles, mainly to topology. Some of these consequences had been established earlier in generic extensions obtained by adding omega_2 Cohen reals to ground models satisfying CH, mostly for the case kappa=omega_2.

preprint1996arXiv

Intersection properties of open sets, II.

A topological space is called P_2 ( P_3, P_{<omega} ) if and only if it does not contain two (three, finitely many) uncountable open sets with empty intersection. We show that (i) there are 0-dimensional P_{<omega} spaces of size 2^omega, (ii) there are compact P_{<omega} spaces of size omega_1, (iii) the existence of a Psi-like examples for a compact P_{<omega} space of size omega_1 is independent of ZFC, (iv) it is consistent that 2^omega is as large as you wish but every first countable (and so every compact) P_2 space has cardinality<=omega_1.

preprint1996arXiv

More Set-theory around the weak Freese-Nation property

In this paper, we introduce a very weak square principle which is even weaker than the similar principle introduced by Foreman and Magidor. A characterization of this principle is given in term of sequences of elementary submodels of H(χ). This is used in turn to prove a characterization of kappa-Freese-Nation property under the very weak square principle and a weak variant of the Singular Cardinals Hypothesis. A typical application of this characterization shows that under 2^{\aleph_0}<\aleph_ωand our very weak square for \aleph_ω, the partial ordering [omega_ω]^{<ω} (ordered by inclusion) has the aleph_1-Freese-Nation property. On the other hand we show that, under Chang's Conjecture for \aleph_ωthe partial ordering above does not have the aleph_1-Freese-Nation property. Hence we obtain the independence of our characterization of the kappa-Freese-Nation property and also of the very weak square principle from ZFC.

preprint1995arXiv

Forcing countable networks for spaces satisfying R(X^omega)=omega.

We show that all finite powers of a Hausdorff space X do not contain uncountable weakly separated subspaces iff there is a c.c.c poset P such that 1_P forces that ``X is a countable union of 0-dimensional subspaces of countable weight.'' We also show that this theorem is sharp in two different senses: (i) we can't get rid of using generic extensions, (ii) we have to consider all finite powers of $X$ .

preprint1995arXiv

How to force a countably tight, initially ω_1-compact and non-compact space?

Improving a result of M. Rabus we force a normal, locally compact, 0-dimensional,Frechet-Uryson, initially omega_1-compact and non-compact space X of size omega_2 having the following property: for every open (or closed) set A in X we have |A|<omega_2 or |X\A|<omega_2.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Lajos Soukup

Research overview

Is this your work?

32 publications

On the companion of spaces having dense, relatively countable compact subspaces

Elusive properties of infinite graphs

On resolvability of products

On $κ$ -homogeneous, but not $κ$ -transitive permutation groups

On the free set number of topological spaces and their $G_δ$ -modifications

First countable and almost discretely Lindelöf $T_3$ spaces have cardinality at most continuum

Anti-Urysohn spaces

Pinning Down versus Density

Between countably compact and $ω$ -bounded

Partitioning bases of topological spaces

Constructing, sampling and counting graphical realizations of restricted degree sequences

Regular spaces of small extent are omega-resolvable

Comparing weak versions of separability

Towards random uniform sampling of bipartite graphs with given degree sequence

A note on Noetherian type of spaces

Balanced Vertices in Trees and a Simpler Algorithm to Compute the Genomic Distance

Club guessing for dummies

Conflict free colorings of (strongly) almost disjoint set-systems

Dense families of countable sets below $c$

Elementary submodels in infinite combinatorics

More on cardinal invariants of analytic P-ideals

Pcf theory and cardinal invariants of the reals

Superatomic Boolean algebras constructed from strongly unbounded functions

Wide scattered spaces and morasses

Sticks and clubs

Luzin and anti-Luzin almost disjoint families

Smooth graphs

Combinatorial principles from adding Cohen reals

Intersection properties of open sets, II.

More Set-theory around the weak Freese-Nation property

Forcing countable networks for spaces satisfying R(X^omega)=omega.

How to force a countably tight, initially ω_1-compact and non-compact space?

See the researcher in context

Building this map preview

Lajos Soukup

Research overview

Is this your work?

32 publications

On the companion of spaces having dense, relatively countable compact subspaces

Elusive properties of infinite graphs

On resolvability of products

On κκκ-homogeneous, but not κκκ-transitive permutation groups

On the free set number of topological spaces and their GδG_δGδ​-modifications

First countable and almost discretely Lindelöf T3T_3T3​ spaces have cardinality at most continuum

Anti-Urysohn spaces

Pinning Down versus Density

Between countably compact and ωωω-bounded

Partitioning bases of topological spaces

Constructing, sampling and counting graphical realizations of restricted degree sequences

Regular spaces of small extent are omega-resolvable

Comparing weak versions of separability

Towards random uniform sampling of bipartite graphs with given degree sequence

A note on Noetherian type of spaces

Balanced Vertices in Trees and a Simpler Algorithm to Compute the Genomic Distance

Club guessing for dummies

Conflict free colorings of (strongly) almost disjoint set-systems

Dense families of countable sets below ccc

Elementary submodels in infinite combinatorics

More on cardinal invariants of analytic P-ideals

Pcf theory and cardinal invariants of the reals

Superatomic Boolean algebras constructed from strongly unbounded functions

Wide scattered spaces and morasses

Sticks and clubs

Luzin and anti-Luzin almost disjoint families

Smooth graphs

Combinatorial principles from adding Cohen reals

Intersection properties of open sets, II.

More Set-theory around the weak Freese-Nation property

Forcing countable networks for spaces satisfying R(X^omega)=omega.

How to force a countably tight, initially ω_1-compact and non-compact space?

See the researcher in context

Building this map preview

On $κ$ -homogeneous, but not $κ$ -transitive permutation groups

On the free set number of topological spaces and their $G_δ$ -modifications

First countable and almost discretely Lindelöf $T_3$ spaces have cardinality at most continuum

Between countably compact and $ω$ -bounded

Dense families of countable sets below $c$