Showing 1–11 of 11 results for author: Kuzeljevic, B

Weakly Boolean maximal chains of homeomorphic topologies

Authors: Miloš Kurilić, Boriša Kuzeljević

Abstract: If $λ<κ$ are infinite cardinals, a linear order $L$ is isomorphic to a maximal chain in $[κ]^{κ|κ}$ (resp. $[κ]^{λ|κ}$; $[κ]^{κ|λ}$) iff $L$ is weakly Boolean, the weight of all initial segments of $L$ is equal to $κ$ (resp. $λ$, $λ^+$) and the weight of all final segments of $L$ is equal to $κ$ (resp. $λ^+$, $λ$). We also provide an application of this result in topology. If $λ<κ$ are infinite cardinals, a linear order $L$ is isomorphic to a maximal chain in $[κ]^{κ|κ}$ (resp. $[κ]^{λ|κ}$; $[κ]^{κ|λ}$) iff $L$ is weakly Boolean, the weight of all initial segments of $L$ is equal to $κ$ (resp. $λ$, $λ^+$) and the weight of all final segments of $L$ is equal to $κ$ (resp. $λ^+$, $λ$). We also provide an application of this result in topology. △ Less

Submitted 29 December, 2024; originally announced December 2024.

MSC Class: 06A06; 06A05; 54A10

Cofinal types and topological groups

Authors: Boriša Kuzeljević, Stepan Milošević

Abstract: The purpose of this note is to start the systematic analysis of cofinal types of topological groups. The purpose of this note is to start the systematic analysis of cofinal types of topological groups. △ Less

Submitted 6 April, 2024; originally announced April 2024.

Order structure of P-point ultrafilters and their relatives

Authors: Borisa Kuzeljevic, Dilip Raghavan

Abstract: We survey some recent results about the order structure of various kinds of ultrafilters. More precisely, we study Rudin-Keisler and Tukey reducibility in classes of selective, stable ordered-union, and P-point ultrafilters. Although these reductions are fundamentally different, there are connections between them. On the other hand, even though the classes of ultrafilters we consider are similar,… ▽ More We survey some recent results about the order structure of various kinds of ultrafilters. More precisely, we study Rudin-Keisler and Tukey reducibility in classes of selective, stable ordered-union, and P-point ultrafilters. Although these reductions are fundamentally different, there are connections between them. On the other hand, even though the classes of ultrafilters we consider are similar, there are significant differences in their order structure, as will be seen in the survey. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Lower bounds of sets of P-points

Authors: Borisa Kuzeljevic, Dilip Raghavan, Jonathan L. Verner

Abstract: We show that $\mathrm{MA}_κ$ implies that each collection of ${P}_{\mathfrak c}$-points of size at most $κ$ which has a $P_{\mathfrak c}$-point as an $RK$ upper bound also has a ${P}_{\mathfrak c}$-point as an $RK$ lower bound. We show that $\mathrm{MA}_κ$ implies that each collection of ${P}_{\mathfrak c}$-points of size at most $κ$ which has a $P_{\mathfrak c}$-point as an $RK$ upper bound also has a ${P}_{\mathfrak c}$-point as an $RK$ lower bound. △ Less

Submitted 26 April, 2022; originally announced April 2022.

Cofinal types on $ω_2$

Authors: Borisa Kuzeljevic, Stevo Todorcevic

Abstract: In this paper we start the analysis of the class $\mathcal D_{\aleph_2}$, the class of cofinal types of directed sets of cofinality at most $\aleph_2$. We compare elements of $\mathcal D_{\aleph_2}$ using the notion of Tukey reducibility. We isolate some simple cofinal types in $\mathcal D_{\aleph_2}$, and then proceed to show which of these types have an immediate successor in the Tukey ordering… ▽ More In this paper we start the analysis of the class $\mathcal D_{\aleph_2}$, the class of cofinal types of directed sets of cofinality at most $\aleph_2$. We compare elements of $\mathcal D_{\aleph_2}$ using the notion of Tukey reducibility. We isolate some simple cofinal types in $\mathcal D_{\aleph_2}$, and then proceed to show which of these types have an immediate successor in the Tukey ordering of $\mathcal D_{\aleph_2}$. △ Less

Submitted 10 August, 2021; v1 submitted 8 August, 2021; originally announced August 2021.

Uniform homogeneity

Authors: Wiesław Kubiś, Boriša Kuzeljević

Abstract: We discuss some finite homogeneous structures, addressing the question of universality of their automorphism groups. We also study the existence of so-called Katětov functors in finite categories of embeddings or homomorphisms. We discuss some finite homogeneous structures, addressing the question of universality of their automorphism groups. We also study the existence of so-called Katětov functors in finite categories of embeddings or homomorphisms. △ Less

Submitted 28 April, 2020; originally announced April 2020.

Comments: 9 pages

MSC Class: 03C13; 03C50; 20B25

Antichains of Copies of Ultrahomogeneous Structures

Authors: Miloš S. Kurilić, Boriša Kuzeljević

Abstract: We investigate possible cardinalities of maximal antichains in the poset of copies $\langle \mathbb P(\mathbb X),\subset \rangle$ of a countable ultrahomogeneous relational structure $\mathbb X$. It turns out that if the age of $\mathbb X$ has the strong amalgamation property, then, defining a copy of $\mathbb X$ to be large iff it has infinite intersection with each orbit of $\mathbb X$, the stru… ▽ More We investigate possible cardinalities of maximal antichains in the poset of copies $\langle \mathbb P(\mathbb X),\subset \rangle$ of a countable ultrahomogeneous relational structure $\mathbb X$. It turns out that if the age of $\mathbb X$ has the strong amalgamation property, then, defining a copy of $\mathbb X$ to be large iff it has infinite intersection with each orbit of $\mathbb X$, the structure $\mathbb X$ can be partitioned into countably many large copies, there are almost disjoint families of large copies of size continuum and, hence, there are (maximal) antichains of size continuum in the poset $\mathbb P (\mathbb X)$. Finally, we show that the posets of copies of all countable ultrahomogeneous partial orders contain maximal antichains of cardinality continuum and determine which of them contain countable maximal antichains. That holds, in particular, for the random (universal ultrahomogeneous) poset. △ Less

Submitted 1 April, 2019; originally announced April 2019.

Comments: 13 pages, 1 figure

MSC Class: 03C15; 03C50; 06A06; 20M20

A long chain of P-points

Authors: Borisa Kuzeljevic, Dilip Raghavan

Abstract: The notion of a $δ$-generic sequence of P-points is introduced in this paper. It is proved assuming the Continuum Hypothesis that for each $δ< ω_{2}$, any $δ$-generic sequence of P-points can be extended to an $ω_{2}$-generic sequence. This shows that the Continuum Hypothesis implies that there is a chain of P-points of length ${\mathfrak{c}}^{+}$ with respect to both Rudin-Keisler and Tukey reduc… ▽ More The notion of a $δ$-generic sequence of P-points is introduced in this paper. It is proved assuming the Continuum Hypothesis that for each $δ< ω_{2}$, any $δ$-generic sequence of P-points can be extended to an $ω_{2}$-generic sequence. This shows that the Continuum Hypothesis implies that there is a chain of P-points of length ${\mathfrak{c}}^{+}$ with respect to both Rudin-Keisler and Tukey reducibility. The proofs can be easily adapted to get such a chain of length ${\mathfrak{c}}^{+}$ under a more general hypothesis like Martin's Axiom. These results answer an old question of Andreas Blass. △ Less

Submitted 25 July, 2016; originally announced July 2016.

Comments: 29 pages, submitted

Forcing with matrices of countable elementary submodels

Authors: Borisa Kuzeljevic, Stevo Todorcevic

Abstract: We analyze the forcing notion $\mathcal P$ of finite matrices whose rows consists of isomorphic countable elementary submodels of a given structure of the form $H_θ$. We show that forcing with this poset adds a Kurepa tree $T$. Moreover, if $\mathcal P_c$ is a suborder of $\mathcal P$ containing only continuous matrices, then the Kurepa tree $T$ is almost Souslin, i.e. the level set of any anticha… ▽ More We analyze the forcing notion $\mathcal P$ of finite matrices whose rows consists of isomorphic countable elementary submodels of a given structure of the form $H_θ$. We show that forcing with this poset adds a Kurepa tree $T$. Moreover, if $\mathcal P_c$ is a suborder of $\mathcal P$ containing only continuous matrices, then the Kurepa tree $T$ is almost Souslin, i.e. the level set of any antichain in $T$ is not stationary in $ω_1$. △ Less

Submitted 17 August, 2015; v1 submitted 28 March, 2015; originally announced March 2015.

MSC Class: 03E57

Maximal Chains of Isomorphic Subgraphs of Countable Ultrahomogeneous Graphs

Authors: Milos S. Kurilic, Borisa Kuzeljevic

Abstract: For a countable ultrahomogeneous graph G let P(G) denote the collection of domains of subgraphs of G isomorphic to G. The order types of maximal chains in the set P(G) U ø ordered by the inclusion are characterized as: (I) the order types of compact sets of reals having the minimum non-isolated, if G is the Rado graph or the Henson graph H_n, for some n>2; (II) the order types of compact nowhe… ▽ More For a countable ultrahomogeneous graph G let P(G) denote the collection of domains of subgraphs of G isomorphic to G. The order types of maximal chains in the set P(G) U ø ordered by the inclusion are characterized as: (I) the order types of compact sets of reals having the minimum non-isolated, if G is the Rado graph or the Henson graph H_n, for some n>2; (II) the order types of compact nowhere dense sets of reals having the minimum non-isolated, if G is the union of μdisjoint complete graphs of size ν, where μν=ω. △ Less

Submitted 30 May, 2013; originally announced May 2013.

Comments: 13 pages. arXiv admin note: substantial text overlap with arXiv:1303.2828

MSC Class: 05C63; 05C80 (Primary) 05C60; 06A05; 06A06; 03C50 (Secondary) 03C15

Journal ref: Adv. Math., 264 (2014) 762--775

Maximal Chains of Isomorphic Suborders of Countable Ultrahomogeneous Partial Orders

Authors: Milos S. Kurilic, Borisa Kuzeljevic

Abstract: We investigate the poset (P(X),\subset), where P(X) is the set of isomorphic suborders of a countable ultrahomogeneous partial order X. For X different from (resp. equal to) a countable antichain the order types of maximal chains in (P(X)\cup \{\emptyset \},\subset) are characterized as the order types of compact (resp. compact and nowhere dense) sets of reals having the minimum non-isolated. We investigate the poset (P(X),\subset), where P(X) is the set of isomorphic suborders of a countable ultrahomogeneous partial order X. For X different from (resp. equal to) a countable antichain the order types of maximal chains in (P(X)\cup \{\emptyset \},\subset) are characterized as the order types of compact (resp. compact and nowhere dense) sets of reals having the minimum non-isolated. △ Less

Submitted 12 March, 2013; originally announced March 2013.

Comments: 18 pages

MSC Class: 06A06 (Primary) 06A05; 03C15; 03C50 (Secondary)

Journal ref: Order, 32,1 (2015) 83-99