:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Farjudian, Amin, Jung, Achim
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science General Topology 06B35
Online Access:	https://arxiv.org/abs/2411.07431
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets
by: Edalat, Abbas, et al.
Published: (2026)

Robust Topology and the Hausdorff-Smyth Monad on Metric Spaces over Continuous Quantales
by: Dagnino, Francesco, et al.
Published: (2025)

The Scott space of lattice of closed subsets with supremum operator as a topological semilattice
by: Chen, Yu, et al.
Published: (2025)

Machine Space I: Weak exponentials and quantification over compact spaces
by: Faul, Peter F., et al.
Published: (2022)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
by: Spreen, Dieter
Published: (2025)

Countably-categorical Boolean rings with distinguished ideals
by: Apps, Andrew
Published: (2021)

Wadge degrees of $Δ^0_2$ omega-powers
by: Finkel, Olivier, et al.
Published: (2024)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
by: Asgeirsson, Dagur
Published: (2023)

The class of Aronszajn lines under epimorphisms
by: Polymeris, Lucas, et al.
Published: (2025)

Chain union closures
by: Kubiś, Wiesław, et al.
Published: (2024)

When do weakly first-countable spaces and the Scott topology of open set lattice become sober?
by: He, Zhengmao
Published: (2025)

Esakia order-compactifications and locally Esakia spaces
by: Almeida, Rodrigo Nicolau, et al.
Published: (2025)

Embeddings into P(N)/fin and extension of automorphisms
by: Bella, A., et al.
Published: (2001)

Ideals in quantales, II
by: Goswami, Amartya
Published: (2023)

Domains, Information Frames, and Their Logic
by: Spreen, Dieter
Published: (2025)

Separating domains from algebraic domains
by: Jia, Xiaodong, et al.
Published: (2025)

Non-trivial copies of N*
by: Dow, Alan
Published: (2024)

Menger and consonant sets in the Sacks model
by: Haberl, Valentin, et al.
Published: (2024)

Products of Directed Sets with Calibre $(ω_1, ω)$
by: Gartside, Paul, et al.
Published: (2024)

Some Consistent Power Constructions
by: Zhou, Chengyu, et al.
Published: (2025)

Invariants for metrisable locally compact Boolean spaces
by: Apps, Andrew B.
Published: (2025)

Partitions of primitive Boolean spaces
by: Apps, Andrew B.
Published: (2023)

$\mathbb{M}^*$, $\mathbb{N}^*$, and $\mathbb{H}^*$
by: Brian, Will, et al.
Published: (2025)

Hofmann-Mislove through the Lenses of Priestley
by: Bezhanishvili, G., et al.
Published: (2022)

Co-Noetherian spaces
by: Li, Xiangrui, et al.
Published: (2026)

Strong well-filteredness of upper topology on sup-complete posets
by: Xu, Xiaoquan, et al.
Published: (2025)

On the symmetry behind duality
by: Abbadini, Marco, et al.
Published: (2025)

Eilenberg-MacLane spaces and stabilisation in homotopy type theory
by: Wärn, David
Published: (2023)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
by: Ramani, Mahesh, et al.
Published: (2026)

Hybrid Maximal Filter Spaces
by: Gonzalez, David
Published: (2024)

Uniform locales and their constructive aspects
by: Manuell, Graham
Published: (2021)

Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)

Subfitness in distributive (semi)lattices
by: Bezhanishvili, Guram, et al.
Published: (2024)

Countable quasicontinuous domains are quasialgebraic
by: Xu, Xiaoquan
Published: (2025)

Just Previsions
by: Goubault-Larrecq, Jean
Published: (2026)

Continuous colorings on compact spaces
by: de Rancourt, Noé, et al.
Published: (2025)

Entangled Suslin lines and OGA
by: Martinez-Ranero, Carlos, et al.
Published: (2025)

Constructive and Predicative Locale Theory in Univalent Foundations
by: Tosun, Ayberk
Published: (2026)

Continuous approximate roots of polynomial equations via shape theory
by: Lau, Joshua, et al.
Published: (2025)

Saturation and isomorphism of abstract harmonic spaces
by: Wang, Haoming
Published: (2026)