BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Paul Gartside

Paul Gartside appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.GNmath.COmath.FAmath.LO

Catalog footprint

What is connected

13works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

13 published item(s)

preprint2024arXiv

Products of Directed Sets with Calibre $(ω_1, ω)$

A directed set $P$ is calibre $(ω_1, ω)$ if every uncountable subset of $P$ contains an infinite bounded subset. $P$ is productively calibre $(ω_1, ω)$ if $P \times Q$ is calibre $(ω_1, ω)$ for every directed set $Q$ with calibre $(ω_1, ω)$, and $P$ is powerfully calibre $(ω_1, ω)$ if the countable power of $P$ is calibre $(ω_1, ω)$. It is shown that (1) uncountable products are calibre $(ω_1, ω)$ only in highly restrictive circumstances, (2) many but not all $\sum$-products of calibre $(ω_1, ω)$ directed sets are calibre $(ω_1, ω)$, (3) there are directed sets which are calibre $(ω_1, ω)$ but neither productively nor powerfully calibre $(ω_1, ω)$, and (4) there are directed sets which are powerfully but not productively calibre $(ω_1, ω)$. As an application, the position is established of $\sum ω^{ω_1}$ in the Tukey order among Isbell's classical 10 directed sets.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Graph-Like Compacta: Characterizations and Eulerian Loops

A compact graph-like space is a triple $(X,V,E)$ where $X$ is a compact, metrizable space, $V \subseteq X$ is a closed zero-dimensional subset, and $E$ is an index set such that $X \setminus V \cong E \times (0,1)$. New characterizations of compact graph-like spaces are given, connecting them to certain classes of continua, and to standard subspaces of Freudenthal compactifications of locally finite graphs. These are applied to characterize Eulerian graph-like compacta.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The Tukey Order and Subsets of $ω_1$

One partially ordered set, $Q$, is a Tukey quotient of another, $P$, if there is a map $ϕ: P \to Q$ carrying cofinal sets of $P$ to cofinal sets of $Q$. Two partial orders which are mutual Tukey quotients are said to be Tukey equivalent. Let $X$ be a space and denote by $\mathcal{K}(X)$ the set of compact subsets of $X$, ordered by inclusion. The principal object of this paper is to analyze the Tukey equivalence classes of $\mathcal{K}(S)$ corresponding to various subspaces $S$ of $ω_1$, their Tukey invariants, and hence the Tukey relations between them. It is shown that $ω^ω$ is a strict Tukey quotient of $Σ(ω^{ω_1})$ and thus we distinguish between two Tukey classes out of Isbell's ten partially ordered sets. The relationships between Tukey equivalence classes of $\mathcal{K}(S)$, where $S$ is a subspace of $ω_1$, and $\mathcal{K}(M)$, where $M$ is a separable metrizable space, are revealed. Applications are given to function spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Tukey Order, Calibres and the Rationals

One partially ordered set, $Q$, is a Tukey quotient of another, $P$, denoted $P \geq_T Q$, if there is a map $ϕ: P \to Q$ carrying cofinal sets of $P$ to cofinal sets of $Q$. Let $X$ be a space and denote by $\mathcal{K}(X)$ the set of compact subsets of $X$, ordered by inclusion. For certain separable metrizable spaces $M$, Tukey upper and lower bounds of $\mathcal{K}(M)$ are calculated. Results on invariants of $\mathcal{K}(M)$'s are deduced. The structure of all $\mathcal{K}(M)$'s under $\le_T$ is investigated. Particular emphasis is placed on the position of $\mathcal{K}(M)$ when $M$ is: completely metrizable, the rationals $\mathbb{Q}$, co-analytic or analytic.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

$P$-Paracompact and $P$-Metrizable Spaces

Let $P$ be a directed set and $X$ a space. A collection $\mathcal{C}$ of subsets of $X$ is \emph{$P$-locally finite} if $\mathcal{C}=\bigcup \{ \mathcal{C}_p : p \in P\}$ where (i) if $p \le p'$ then $\mathcal{C}_p \subseteq \mathcal{C}_{p'}$ and (ii) each $\mathcal{C}_p$ is locally finite. Then $X$ is \emph{$P$-paracompact} if every open cover has a $P$-locally finite open refinement. Further, $X$ is \emph{$P$-metrizable} if it has a $(P \times \mathbb{N})$-locally finite base. This work provides the first detailed study of $P$-paracompact and $P$-metrizable spaces, particularly in the case when $P$ is a $\mathcal{K}(M)$, the set of all compact subsets of a separable metrizable space $M$ ordered by set inclusion.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Minimum Topological Group Topologies

A Hausdorff topological group topology on a group $G$ is the minimum (Hausdorff) group topology if it is contained in every Hausdorff group topology on $G$. For every compact metrizable space $X$ containing an open $n$-cell, $n\ge2$, the homeomorphism group $H(X)$ has no minimum Hausdorff group topology. The homeomorphism groups of the Cantor set and the Hilbert cube have no minimum group topology. For every compact metrizable space $X$ containing a dense open one-manifold, $H(X)$ has the minimum group topology. Some, but not all, oligomorphic groups have the minimum group topology.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Reconstructing Compact Metrizable Spaces

The deck, $\mathcal{D}(X)$, of a topological space $X$ is the set $\mathcal{D}(X)=\{[X \setminus \{x\}]\colon x \in X\}$, where $[Y]$ denotes the homeomorphism class of $Y$. A space $X$ is (topologically) reconstructible if whenever $\mathcal{D}(Z)=\mathcal{D}(X)$ then $Z$ is homeomorphic to $X$. It is known that every (metrizable) continuum is reconstructible, whereas the Cantor set is non-reconstructible. The main result of this paper characterises the non-reconstructible compact metrizable spaces as precisely those where for each point $x$ there is a sequence $\langle B_n^x \colon n \in \mathbb{N}\rangle$ of pairwise disjoint clopen subsets converging to $x$ such that $B_n^x$ and $B_n^y$ are homeomorphic for each $n$, and all $x$ and $y$. In a non-reconstructible compact metrizable space the set of $1$-point components forms a dense $G_δ$. For $h$-homogeneous spaces, this condition is sufficient for non-reconstruction. A wide variety of spaces with a dense $G_δ$ set of $1$-point components are presented, some reconstructible and others not reconstructible.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Reconstructing Topological Graphs and Continua

The deck of a topological space $X$ is the set $\mathcal{D}(X)=\{[X \setminus \{x\}] \colon x \in X\}$, where $[Z]$ denotes the homeomorphism class of $Z$. A space $X$ is topologically reconstructible if whenever $\mathcal{D}(X)=\mathcal{D}(Y)$ then $X$ is homeomorphic to $Y$. It is shown that all metrizable compact connected spaces are reconstructible. It follows that all finite graphs, when viewed as a 1-dimensional cell-complex, are reconstructible in the topological sense, and more generally, that all compact graph-like spaces are reconstructible.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

n-Arc Connected Spaces

A space is `n-arc connected' (n-ac) if any family of no more than n-points are contained in an arc. For graphs the following are equivalent: (i) 7-ac, (ii) n-ac for all n, (iii) continuous injective image of a closed sub-interval of the real line, and (iv) one of a finite family of graphs. General continua that are aleph_0-ac are characterized. The complexity of characterizing n-ac graphs for n=2,3,4,5 is determined to be strictly higher than that of the stated characterization of 7-ac graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Strong Arcwise Connectedness

A space is `n-strong arc connected' (n-sac) if for any n points in the space there is an arc in the space visiting them in order. A space is omega-strong arc connected (omega-sac) if it is n-sac for all n. We study these properties in finite graphs, regular continua, and rational continua. There are no 4-sac graphs, but there are 3-sac graphs and graphs which are 2-sac but not 3-sac. For every n there is an n-sac regular continuum, but no regular continuum is omega-sac. There is an omega-sac rational continuum. For graphs we give a simple characterization of those graphs which are 3-sac. It is shown, using ideas from descriptive set theory, that there is no simple characterization of n-sac, or omega-sac, rational continua.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Spaces with a Finite Family of Basic Functions

A space X is finite dimensional, locally compact and separable metrizable if and only if X has a finite basic family: continuous functions Phi_1,...,Phi_n of X to the reals, R, such that for all continuous f from X to R there are g_1,..., g_n in C(R) satisfying f(x)=g_1(Phi_1(x))+g_2(Phi_2(x))+...+g_n(Phi_n(x)) for all x in X. This give the complete solution to four problems on basic functions posed by Sternfeld, as well as questions posed by Hattori and others.

0 citations0 reviewsNo code linkedOpen access