Cover Image

Tietze extension does not always work in constructive mathematics if closed sets are defined as sequentially closed sets

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ding, Shun, Wan, Yang, Wang, Luofei, Xiao, Siqi
Format:	Preprint
Published:	2025
Subjects:	General Topology Primary: 03F60, Secondary: 54F65
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The hyperspace of non-cut subcontinua of graphs
by: Illanes, Alejandro, et al.
Published: (2025)

More on $\mathcal{T}$-closed sets
by: Camargo, Javier, et al.
Published: (2024)

Smooth fans that are endpoint rigid
by: Hernández-Gutiérrez, Rodrigo, et al.
Published: (2022)

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

On $a$-locally closed sets
by: İzci, Bilge, et al.
Published: (2024)

Furtherness in finite topological spaces
by: Badra, Akhilesh, et al.
Published: (2026)

Fundamental groups and descriptive set theory
by: Wu, Fanxin
Published: (2025)

Genus $g$ Cantor sets and germane Julia sets
by: Fletcher, Alastair N., et al.
Published: (2022)

On hyperspaces of knots and planar simple closed curves
by: Krupski, Paweł, et al.
Published: (2024)

Combinatorial $n$-od covers of graphs
by: Hoehn, Logan C., et al.
Published: (2025)

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

A constructive proof of the general Nullstellensatz for Jacobson rings
by: Kuroki, Ryota
Published: (2024)

Note on the induced metric on power sets of groups
by: Yagasaki, Tatsuhiko
Published: (2025)

A Foundation for Synthetic Stone Duality
by: Cherubini, Felix, et al.
Published: (2024)

Cardinality of the sets of dimension functions in ordered structures
by: Fujita, Masato
Published: (2025)

Accessibility of countable sets in plane embeddings of arc-like continua
by: Anušić, Ana, et al.
Published: (2024)

On structural numbers of topological spaces
by: Chatyrko, Vitalij, et al.
Published: (2025)

Planarity of compactifications of $\mathbb{R}$ with arc-like remainder
by: Ammerlaan, Andrea, et al.
Published: (2024)

The power of trees
by: Brodsky, Ari Meir, et al.
Published: (2025)

Spaces where all bijections are morphisms
by: de Souza, Lucas H. R.
Published: (2024)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)

On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales
by: Neri, Morenikeji, et al.
Published: (2024)

On Borel sets in ideal topologies
by: Moreno, Miguel, et al.
Published: (2025)

Compactness and Symmetric Well Orders
by: Dasgupta, Abhijit
Published: (2022)

Characterizations of $\mathbb{N}$-compactness and realcompactness via ultrafilters in the absence of the axiom of choice
by: Olfati, AliReza, et al.
Published: (2024)

Quantitative Strong Laws of Large Numbers
by: Neri, Morenikeji
Published: (2024)

Universally meager sets in the Miller model and similar ones
by: Haberl, Valentin, et al.
Published: (2025)

Definable separability and second-countability in o-minimal structures
by: Guerrero, Pablo Andújar
Published: (2024)

Transfinitely iterated wild sets
by: Brazas, Jeremy, et al.
Published: (2026)

Thompson's groups and Teichmüller modular groups of generalized Cantor sets
by: Shiga, Hiroshige
Published: (2026)

A quantitative general Nullstellensatz for Jacobson rings
by: Kuroki, Ryota
Published: (2025)

An ordinal analysis of CM and its extensions
by: Wang, Shuwei
Published: (2025)

The hyperspace of k-dimensional closed convex sets
by: Escobedo-Bustamante, Adriana, et al.
Published: (2024)

On the large-scale geometry of graph braid groups via cubical structures
by: An, Byung Hee, et al.
Published: (2026)

Quasi-isometry classification of certain graph $2$-braid groups and its applications
by: An, Byung Hee, et al.
Published: (2025)

Sometimes tame, sometimes wild: weak continuity
by: Sanders, Sam
Published: (2024)

Ellis groups in model theory and strongly generic sets
by: Malinowski, Adam
Published: (2023)

A quantitative Hilbert's basis theorem and the constructive Krull dimension
by: Kuroki, Ryota
Published: (2025)

The hyperspace of non-cut subcontinua of graphs and dendrites
by: Hernández-Gutiérrez, Rodrigo, et al.
Published: (2021)