Copertina

Continuous Domains for Function Spaces Using Spectral Compactification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Farjudian, Amin, Jung, Achim
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science General Topology 06B35
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

Ideals in quantales, II
di: Goswami, Amartya
Pubblicazione: (2023)

Countably-categorical Boolean rings with distinguished ideals
di: Apps, Andrew
Pubblicazione: (2021)

Separating domains from algebraic domains
di: Jia, Xiaodong, et al.
Pubblicazione: (2025)

Domains, Information Frames, and Their Logic
di: Spreen, Dieter
Pubblicazione: (2025)

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

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

Some Consistent Power Constructions
di: Zhou, Chengyu, et al.
Pubblicazione: (2025)

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

Non-trivial copies of N*
di: Dow, Alan
Pubblicazione: (2024)

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

Co-Noetherian spaces
di: Li, Xiangrui, et al.
Pubblicazione: (2026)

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

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

Partitions of primitive Boolean spaces
di: Apps, Andrew B.
Pubblicazione: (2023)

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

Hybrid Maximal Filter Spaces
di: Gonzalez, David
Pubblicazione: (2024)

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

On the symmetry behind duality
di: Abbadini, Marco, et al.
Pubblicazione: (2025)

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

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

Subfitness in distributive (semi)lattices
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2024)

Countable quasicontinuous domains are quasialgebraic
di: Xu, Xiaoquan
Pubblicazione: (2025)

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

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

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

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

Constructive and Predicative Locale Theory in Univalent Foundations
di: Tosun, Ayberk
Pubblicazione: (2026)

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

Uniform locales and their constructive aspects
di: Manuell, Graham
Pubblicazione: (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
di: Higuchi, Joaquim Reizi
Pubblicazione: (2026)

Rational Lukasiewicz logic and DMV-algebras
di: Gerla, Brunella
Pubblicazione: (2012)