vix.ing · top · new · best · stats · spec

The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic

2007/03/20 by Nobuyuki Sakamoto, Keita Yokoyama · 1 citation
Computer Science · Mathematics · #Advanced Topology and Set Theory #Arithmetic #Brouwer fixed-point theorem #Compactness theorem #Computability, Logic, AI Algorithms #Countable set #Discrete mathematics #Fixed-point theorem #Jordan curve theorem #Lemma (botany) #Mathematical and Theoretical Analysis #Mathematics #Order (exchange) #Pure mathematics

paper · doi:10.1007/s00153-007-0050-6

openalex publication_date 2007/03/20 · crossref created 2007/03/20 · crossref issued 2007/03/21 · crossref published 2007/03/21 · crossref published-online 2007/03/21 · crossref published-print 2007/07/01 · crossref deposited 2022/05/18 · crossref indexed 2023/09/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/23

Citations

Cited by