Cover Image

Machine Space I: Weak exponentials and quantification over compact spaces

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Faul, Peter F., Manuell, Graham
Format:	Preprint
Published:	2022
Subjects:	General Topology Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Pointfree topology and constructive mathematics
by: Manuell, Graham
Published: (2023)

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)

Weak Baumgartner axioms and universal spaces
by: Switzer, Corey Bacal
Published: (2025)

Sequentially compact separable spaces
by: Corral, Cesar, et al.
Published: (2025)

Countably compact extensions and cardinal characteristics of the continuum
by: Bardyla, Serhii, et al.
Published: (2024)

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

A generalization of de Vries duality to closed relations between compact Hausdorff spaces
by: Abbadini, Marco, et al.
Published: (2022)

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

Reflecting compact $T_1$-spaces into bounded distributive lattices
by: Gehrke, Mai, et al.
Published: (2024)

Generic bundles over a localic category
by: Manuell, Graham, et al.
Published: (2026)

Continuous Domains for Function Spaces Using Spectral Compactification
by: Farjudian, Amin, et al.
Published: (2024)

On a relation between $λ$-full well-ordered sets and weakly compact cardinals
by: Gullà, Gabriele
Published: (2024)

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

Central H-spaces and banded types
by: Buchholtz, Ulrik, et al.
Published: (2023)

Computably locally compact groups and their closed subgroups
by: Melnikov, Alexander G., et al.
Published: (2024)

Codensity: Isbell duality, pro-objects, compactness and accessibility
by: Di Liberti, Ivan
Published: (2019)

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

Delooping cyclic groups with lens spaces in homotopy type theory
by: Mimram, Samuel, et al.
Published: (2024)

The projective Fra\"ıssé limit of the family of all connected finite graphs with confluent epimorphisms
by: Charatonik, Włodzimierz J., et al.
Published: (2022)

Combinatorial properties of MAD families
by: Brendle, Jörg, et al.
Published: (2022)

Nontrivial automorphisms of $\mathcal P(ω)/\mathrm{Fin}$ in Cohen models
by: Brian, Will, et al.
Published: (2026)

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

The Cofinality of Generating Familes
by: Gartside, Paul, et al.
Published: (2026)

The weak Extension Principle
by: Vignati, Alessandro, et al.
Published: (2024)

Group topologies on automorphism groups of homogeneous structures
by: Ghadernezhad, Zaniar, et al.
Published: (2019)

Preservation of Topological Properties by Strongly Proper Forcings
by: Gilton, Thomas, et al.
Published: (2024)

Reply to Some Questions of Quotients when ultrafilters divide ultrafilters
by: Singha, Manoranjan, et al.
Published: (2026)

On maximal nowhere dense sublocales
by: Nxumalo, Mbekezeli
Published: (2024)

Topologies of open complemented subsets
by: Petrakis, Iosif
Published: (2023)

On construction schemes: building the uncountable from finite pieces
by: Chapital, Jorge Antonio Cruz
Published: (2024)

No covering with nowhere dense \textsf{P}-sets in the Cohen model
by: Dow, Alan, et al.
Published: (2025)

Homeomorphisms of continua through projective Fraïssé limits
by: Poór, Márk, et al.
Published: (2025)

A parametrized $\diamondsuit$ for the Laver property and nontrivial automorphisms of $\mathcal P(ω)/\mathrm{Fin}$
by: Brian, Will, et al.
Published: (2026)

Dense metrizable subspaces in powers of Corson compacta
by: Leiderman, Arkady, et al.
Published: (2024)

Topological groups from matrices of sets
by: Kuzeljević, Boriša, et al.
Published: (2025)

Topology, forcing, and graph colourings
by: Greenberg, Noam, et al.
Published: (2026)

Relative cofinality of ideals
by: Marton, Adam, et al.
Published: (2025)

Diamond principles and Tukey-top ultrafilters on a countable set
by: Benhamou, Tom, et al.
Published: (2024)