Image de couverture de livre

Continuous Domains for Function Spaces Using Spectral Compactification

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Farjudian, Amin, Jung, Achim
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science General Topology 06B35
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets
par: Edalat, Abbas, et autres
Publié: (2026)

Robust Topology and the Hausdorff-Smyth Monad on Metric Spaces over Continuous Quantales
par: Dagnino, Francesco, et autres
Publié: (2025)

The Scott space of lattice of closed subsets with supremum operator as a topological semilattice
par: Chen, Yu, et autres
Publié: (2025)

Machine Space I: Weak exponentials and quantification over compact spaces
par: Faul, Peter F., et autres
Publié: (2022)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
par: Spreen, Dieter
Publié: (2025)

Wadge degrees of $Δ^0_2$ omega-powers
par: Finkel, Olivier, et autres
Publié: (2024)

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

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

Chain union closures
par: Kubiś, Wiesław, et autres
Publié: (2024)

Ideals in quantales, II
par: Goswami, Amartya
Publié: (2023)

Countably-categorical Boolean rings with distinguished ideals
par: Apps, Andrew
Publié: (2021)

Separating domains from algebraic domains
par: Jia, Xiaodong, et autres
Publié: (2025)

Domains, Information Frames, and Their Logic
par: Spreen, Dieter
Publié: (2025)

The class of Aronszajn lines under epimorphisms
par: Polymeris, Lucas, et autres
Publié: (2025)

Esakia order-compactifications and locally Esakia spaces
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2025)

Some Consistent Power Constructions
par: Zhou, Chengyu, et autres
Publié: (2025)

Embeddings into P(N)/fin and extension of automorphisms
par: Bella, A., et autres
Publié: (2001)

Non-trivial copies of N*
par: Dow, Alan
Publié: (2024)

Menger and consonant sets in the Sacks model
par: Haberl, Valentin, et autres
Publié: (2024)

Co-Noetherian spaces
par: Li, Xiangrui, et autres
Publié: (2026)

Strong well-filteredness of upper topology on sup-complete posets
par: Xu, Xiaoquan, et autres
Publié: (2025)

Invariants for metrisable locally compact Boolean spaces
par: Apps, Andrew B.
Publié: (2025)

Partitions of primitive Boolean spaces
par: Apps, Andrew B.
Publié: (2023)

Hofmann-Mislove through the Lenses of Priestley
par: Bezhanishvili, G., et autres
Publié: (2022)

Hybrid Maximal Filter Spaces
par: Gonzalez, David
Publié: (2024)

Continuous colorings on compact spaces
par: de Rancourt, Noé, et autres
Publié: (2025)

On the symmetry behind duality
par: Abbadini, Marco, et autres
Publié: (2025)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
par: Ramani, Mahesh, et autres
Publié: (2026)

Continuous approximate roots of polynomial equations via shape theory
par: Lau, Joshua, et autres
Publié: (2025)

Subfitness in distributive (semi)lattices
par: Bezhanishvili, Guram, et autres
Publié: (2024)

Countable quasicontinuous domains are quasialgebraic
par: Xu, Xiaoquan
Publié: (2025)

Products of Directed Sets with Calibre $(ω_1, ω)$
par: Gartside, Paul, et autres
Publié: (2024)

$\mathbb{M}^*$, $\mathbb{N}^*$, and $\mathbb{H}^*$
par: Brian, Will, et autres
Publié: (2025)

Continuous and algebraic domains in univalent foundations
par: de Jong, Tom, et autres
Publié: (2024)

Eilenberg-MacLane spaces and stabilisation in homotopy type theory
par: Wärn, David
Publié: (2023)

Constructive and Predicative Locale Theory in Univalent Foundations
par: Tosun, Ayberk
Publié: (2026)

Entangled Suslin lines and OGA
par: Martinez-Ranero, Carlos, et autres
Publié: (2025)

Uniform locales and their constructive aspects
par: Manuell, Graham
Publié: (2021)

The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case
par: Higuchi, Joaquim Reizi
Publié: (2026)

Rational Lukasiewicz logic and DMV-algebras
par: Gerla, Brunella
Publié: (2012)