Source author record

Artur Piękosz

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

ResearcherUnclaimed source record

math.GN math.CT math.LO math.AC

Catalog footprint

Research overview

4works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Hofmann-Lawson duality for locally small spaces

We prove versions of the spectral adjunction, a Stone-type duality and Hofmann-Lawson duality for locally small spaces with bounded continuous mappings.

preprint2019arXiv

Locally small spaces with an application

We develop the theory of locally small spaces in a new simple language and apply this simplification to re-build the theory of locally definable spaces over structures with topologies.

preprint2018arXiv

Compact complement topologies and k-spaces

Let $(X,τ)$ be a Hausdorff space, where $X$ is an infinite set. The compact complement topology $τ^{\star}$ on $X$ is defined by: $τ^{\star}=\{\emptyset\} \cup \{X\setminus M, \text{where $M $is compact in$ (X,τ)$}\}$. In this paper, properties of the space $(X, τ^{\star})$ are studied in $\mathbf{ZF}$ and applied to a characterization of $k$ -spaces, to the Sorgenfrey line, to some statements independent of $\mathbf{ZF}$ , as well as to partial topologies that are among Delfs-Knebusch generalized topologies. Among other results, it is proved that the axiom of countable multiple choice (\textbf{CMC}) is equivalent with each of the following two sentences: (i) every Hausdorff first countable space is a $k$ -space, (ii) every metrizable space is a $k$ -space. A \textbf{ZF}-example of a countable metrizable space whose compact complement topology is not first countable is given.

preprint2017arXiv

The minimizing vector theorem in symmetrized max-plus algebra

Assuming ZF and its consistency, we study some topological and geometrical properties of the symmetrized max-plus algebra in the absence of the axiom of choice in order to discuss the minimizing vector theorem for finite products of copies of the symmetrized max-plus algebra. Several relevant statements that follow from the axiom of countable choice restricted to sequences of subsets of the real line are shown. Among them, it is proved that if all simultaneously complete and connected subspaces of the plane are closed, then the real line is sequential. A brief discussion about semidenrites is included. Older known proofs in ZFC of several basic facts relevant to proximinal and Chebyshev sets in metric spaces are replaced by new proofs in ZF. It is proved that a nonempty subset C of the symmetrized max-plus algebra is Chebyshev in this algebra if and only if C is simultaneously closed and connected. An application of it to a version of the minimizing vector theorem for finite products of the symmetrized max-plus algebra is shown. Open problems concerning some statements independent of ZF and other statements relevant to Chebyshev sets are posed.

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.