Tietze extension does not always work in constructive mathematics if closed sets are defined as sequentially closed sets
Fuente:
arXiv
Salvato in:
| Autori principali: | Ding, Shun, Wan, Yang, Wang, Luofei, Xiao, Siqi |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
The hyperspace of non-cut subcontinua of graphs
di: Illanes, Alejandro, et al.
Pubblicazione: (2025)
di: Illanes, Alejandro, et al.
Pubblicazione: (2025)
More on $\mathcal{T}$-closed sets
di: Camargo, Javier, et al.
Pubblicazione: (2024)
di: Camargo, Javier, et al.
Pubblicazione: (2024)
Smooth fans that are endpoint rigid
di: Hernández-Gutiérrez, Rodrigo, et al.
Pubblicazione: (2022)
di: Hernández-Gutiérrez, Rodrigo, et al.
Pubblicazione: (2022)
Pointfree topology and constructive mathematics
di: Manuell, Graham
Pubblicazione: (2023)
di: Manuell, Graham
Pubblicazione: (2023)
On $a$-locally closed sets
di: İzci, Bilge, et al.
Pubblicazione: (2024)
di: İzci, Bilge, et al.
Pubblicazione: (2024)
Furtherness in finite topological spaces
di: Badra, Akhilesh, et al.
Pubblicazione: (2026)
di: Badra, Akhilesh, et al.
Pubblicazione: (2026)
Fundamental groups and descriptive set theory
di: Wu, Fanxin
Pubblicazione: (2025)
di: Wu, Fanxin
Pubblicazione: (2025)
Genus $g$ Cantor sets and germane Julia sets
di: Fletcher, Alastair N., et al.
Pubblicazione: (2022)
di: Fletcher, Alastair N., et al.
Pubblicazione: (2022)
On hyperspaces of knots and planar simple closed curves
di: Krupski, Paweł, et al.
Pubblicazione: (2024)
di: Krupski, Paweł, et al.
Pubblicazione: (2024)
Combinatorial $n$-od covers of graphs
di: Hoehn, Logan C., et al.
Pubblicazione: (2025)
di: Hoehn, Logan C., et al.
Pubblicazione: (2025)
Uniform locales and their constructive aspects
di: Manuell, Graham
Pubblicazione: (2021)
di: Manuell, Graham
Pubblicazione: (2021)
A constructive proof of the general Nullstellensatz for Jacobson rings
di: Kuroki, Ryota
Pubblicazione: (2024)
di: Kuroki, Ryota
Pubblicazione: (2024)
Note on the induced metric on power sets of groups
di: Yagasaki, Tatsuhiko
Pubblicazione: (2025)
di: Yagasaki, Tatsuhiko
Pubblicazione: (2025)
A Foundation for Synthetic Stone Duality
di: Cherubini, Felix, et al.
Pubblicazione: (2024)
di: Cherubini, Felix, et al.
Pubblicazione: (2024)
Cardinality of the sets of dimension functions in ordered structures
di: Fujita, Masato
Pubblicazione: (2025)
di: Fujita, Masato
Pubblicazione: (2025)
Accessibility of countable sets in plane embeddings of arc-like continua
di: Anušić, Ana, et al.
Pubblicazione: (2024)
di: Anušić, Ana, et al.
Pubblicazione: (2024)
On structural numbers of topological spaces
di: Chatyrko, Vitalij, et al.
Pubblicazione: (2025)
di: Chatyrko, Vitalij, et al.
Pubblicazione: (2025)
Planarity of compactifications of $\mathbb{R}$ with arc-like remainder
di: Ammerlaan, Andrea, et al.
Pubblicazione: (2024)
di: Ammerlaan, Andrea, et al.
Pubblicazione: (2024)
The power of trees
di: Brodsky, Ari Meir, et al.
Pubblicazione: (2025)
di: Brodsky, Ari Meir, et al.
Pubblicazione: (2025)
Spaces where all bijections are morphisms
di: de Souza, Lucas H. R.
Pubblicazione: (2024)
di: de Souza, Lucas H. R.
Pubblicazione: (2024)
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
di: Ayhan, Sara
Pubblicazione: (2023)
di: Ayhan, Sara
Pubblicazione: (2023)
A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
di: Anttila, Aleksi, et al.
Pubblicazione: (2025)
di: Anttila, Aleksi, et al.
Pubblicazione: (2025)
On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales
di: Neri, Morenikeji, et al.
Pubblicazione: (2024)
di: Neri, Morenikeji, et al.
Pubblicazione: (2024)
On Borel sets in ideal topologies
di: Moreno, Miguel, et al.
Pubblicazione: (2025)
di: Moreno, Miguel, et al.
Pubblicazione: (2025)
Compactness and Symmetric Well Orders
di: Dasgupta, Abhijit
Pubblicazione: (2022)
di: Dasgupta, Abhijit
Pubblicazione: (2022)
Characterizations of $\mathbb{N}$-compactness and realcompactness via ultrafilters in the absence of the axiom of choice
di: Olfati, AliReza, et al.
Pubblicazione: (2024)
di: Olfati, AliReza, et al.
Pubblicazione: (2024)
Quantitative Strong Laws of Large Numbers
di: Neri, Morenikeji
Pubblicazione: (2024)
di: Neri, Morenikeji
Pubblicazione: (2024)
Universally meager sets in the Miller model and similar ones
di: Haberl, Valentin, et al.
Pubblicazione: (2025)
di: Haberl, Valentin, et al.
Pubblicazione: (2025)
Definable separability and second-countability in o-minimal structures
di: Guerrero, Pablo Andújar
Pubblicazione: (2024)
di: Guerrero, Pablo Andújar
Pubblicazione: (2024)
Transfinitely iterated wild sets
di: Brazas, Jeremy, et al.
Pubblicazione: (2026)
di: Brazas, Jeremy, et al.
Pubblicazione: (2026)
Thompson's groups and Teichmüller modular groups of generalized Cantor sets
di: Shiga, Hiroshige
Pubblicazione: (2026)
di: Shiga, Hiroshige
Pubblicazione: (2026)
A quantitative general Nullstellensatz for Jacobson rings
di: Kuroki, Ryota
Pubblicazione: (2025)
di: Kuroki, Ryota
Pubblicazione: (2025)
An ordinal analysis of CM and its extensions
di: Wang, Shuwei
Pubblicazione: (2025)
di: Wang, Shuwei
Pubblicazione: (2025)
The hyperspace of k-dimensional closed convex sets
di: Escobedo-Bustamante, Adriana, et al.
Pubblicazione: (2024)
di: Escobedo-Bustamante, Adriana, et al.
Pubblicazione: (2024)
On the large-scale geometry of graph braid groups via cubical structures
di: An, Byung Hee, et al.
Pubblicazione: (2026)
di: An, Byung Hee, et al.
Pubblicazione: (2026)
Quasi-isometry classification of certain graph $2$-braid groups and its applications
di: An, Byung Hee, et al.
Pubblicazione: (2025)
di: An, Byung Hee, et al.
Pubblicazione: (2025)
Sometimes tame, sometimes wild: weak continuity
di: Sanders, Sam
Pubblicazione: (2024)
di: Sanders, Sam
Pubblicazione: (2024)
Ellis groups in model theory and strongly generic sets
di: Malinowski, Adam
Pubblicazione: (2023)
di: Malinowski, Adam
Pubblicazione: (2023)
A quantitative Hilbert's basis theorem and the constructive Krull dimension
di: Kuroki, Ryota
Pubblicazione: (2025)
di: Kuroki, Ryota
Pubblicazione: (2025)
The hyperspace of non-cut subcontinua of graphs and dendrites
di: Hernández-Gutiérrez, Rodrigo, et al.
Pubblicazione: (2021)
di: Hernández-Gutiérrez, Rodrigo, et al.
Pubblicazione: (2021)
Documenti analoghi
-
The hyperspace of non-cut subcontinua of graphs
di: Illanes, Alejandro, et al.
Pubblicazione: (2025) -
More on $\mathcal{T}$-closed sets
di: Camargo, Javier, et al.
Pubblicazione: (2024) -
Smooth fans that are endpoint rigid
di: Hernández-Gutiérrez, Rodrigo, et al.
Pubblicazione: (2022) -
Pointfree topology and constructive mathematics
di: Manuell, Graham
Pubblicazione: (2023) -
On $a$-locally closed sets
di: İzci, Bilge, et al.
Pubblicazione: (2024)