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

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)