{"id":"https://openalex.org/W1979862983","doi":"https://doi.org/10.1007/s00153-014-0384-9","title":"Brouwer\u2019s Fan Theorem as an axiom and as a contrast to Kleene\u2019s alternative","display_name":"Brouwer\u2019s Fan Theorem as an axiom and as a contrast to Kleene\u2019s alternative","publication_year":2014,"publication_date":"2014-06-04","ids":{"openalex":"https://openalex.org/W1979862983","doi":"https://doi.org/10.1007/s00153-014-0384-9","mag":"1979862983"},"language":"en","primary_location":{"id":"doi:10.1007/s00153-014-0384-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00153-014-0384-9","pdf_url":null,"source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for Mathematical Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2066/91610","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084987525","display_name":"Wim Veldman","orcid":"https://orcid.org/0000-0001-7728-6359"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Wim Veldman","raw_affiliation_strings":["Faculty of Science, Institute for Mathematics, Astrophysics and Particle Physics, Radboud University Nijmegen, Postbus 9010, 6500 GL, Nijmegen, The Netherlands","Faculty of Science, Institute for Mathematics, Astrophysics and Particle Physics, Radboud University Nijmegen, Nijmegen, The Netherlands 6500 GL#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Science, Institute for Mathematics, Astrophysics and Particle Physics, Radboud University Nijmegen, Postbus 9010, 6500 GL, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Faculty of Science, Institute for Mathematics, Astrophysics and Particle Physics, Radboud University Nijmegen, Nijmegen, The Netherlands 6500 GL#TAB#","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5084987525"],"corresponding_institution_ids":["https://openalex.org/I145872427"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":2.94,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.90670846,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"53","issue":"5-6","first_page":"621","last_page":"693"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9922999739646912,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9884999990463257,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8442765474319458},{"id":"https://openalex.org/keywords/axiom-of-choice","display_name":"Axiom of choice","score":0.63900226354599},{"id":"https://openalex.org/keywords/reverse-mathematics","display_name":"Reverse mathematics","score":0.5470486879348755},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5354440808296204},{"id":"https://openalex.org/keywords/unit-interval","display_name":"Unit interval","score":0.48870232701301575},{"id":"https://openalex.org/keywords/g\u00f6dels-incompleteness-theorems","display_name":"G\u00f6del's incompleteness theorems","score":0.48642420768737793},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4846542477607727},{"id":"https://openalex.org/keywords/separable-space","display_name":"Separable space","score":0.47687751054763794},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.44926074147224426},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.43266725540161133},{"id":"https://openalex.org/keywords/fundamental-theorem","display_name":"Fundamental theorem","score":0.4227035939693451},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.35158759355545044},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.2772895097732544},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.2094092071056366},{"id":"https://openalex.org/keywords/fixed-point-theorem","display_name":"Fixed-point theorem","score":0.20930656790733337}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8442765474319458},{"id":"https://openalex.org/C151797676","wikidata":"https://www.wikidata.org/wiki/Q179692","display_name":"Axiom of choice","level":4,"score":0.63900226354599},{"id":"https://openalex.org/C127753061","wikidata":"https://www.wikidata.org/wiki/Q2005236","display_name":"Reverse mathematics","level":3,"score":0.5470486879348755},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5354440808296204},{"id":"https://openalex.org/C128394911","wikidata":"https://www.wikidata.org/wiki/Q1987578","display_name":"Unit interval","level":2,"score":0.48870232701301575},{"id":"https://openalex.org/C180937797","wikidata":"https://www.wikidata.org/wiki/Q200787","display_name":"G\u00f6del's incompleteness theorems","level":3,"score":0.48642420768737793},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4846542477607727},{"id":"https://openalex.org/C70710897","wikidata":"https://www.wikidata.org/wiki/Q680081","display_name":"Separable space","level":2,"score":0.47687751054763794},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.44926074147224426},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.43266725540161133},{"id":"https://openalex.org/C194886279","wikidata":"https://www.wikidata.org/wiki/Q430271","display_name":"Fundamental theorem","level":3,"score":0.4227035939693451},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.35158759355545044},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2772895097732544},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.2094092071056366},{"id":"https://openalex.org/C45962547","wikidata":"https://www.wikidata.org/wiki/Q1422068","display_name":"Fixed-point theorem","level":2,"score":0.20930656790733337},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C2781302003","wikidata":"https://www.wikidata.org/wiki/Q3294091","display_name":"G\u00f6del","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s00153-014-0384-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00153-014-0384-9","pdf_url":null,"source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for Mathematical Logic","raw_type":"journal-article"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/91610","is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/91610","pdf_url":"http://hdl.handle.net/2066/91610","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Archive for Mathematical Logic, 53, 621 - 693","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/91610","is_oa":false,"landing_page_url":"https://hdl.handle.net/2066/91610","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article / Letter to editor"}],"best_oa_location":{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/91610","is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/91610","pdf_url":"http://hdl.handle.net/2066/91610","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Archive for Mathematical Logic, 53, 621 - 693","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W1979862983.pdf"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W51706566","https://openalex.org/W126568045","https://openalex.org/W172736740","https://openalex.org/W198178058","https://openalex.org/W966006768","https://openalex.org/W1499154644","https://openalex.org/W1525431708","https://openalex.org/W1533744131","https://openalex.org/W1546784626","https://openalex.org/W1556453281","https://openalex.org/W1568204127","https://openalex.org/W1569386536","https://openalex.org/W1590304156","https://openalex.org/W1966245774","https://openalex.org/W1977324591","https://openalex.org/W1982061352","https://openalex.org/W1993033034","https://openalex.org/W1994809800","https://openalex.org/W2008857626","https://openalex.org/W2013342737","https://openalex.org/W2022863072","https://openalex.org/W2023169465","https://openalex.org/W2026246736","https://openalex.org/W2039705582","https://openalex.org/W2057631483","https://openalex.org/W2067028747","https://openalex.org/W2067914884","https://openalex.org/W2121042707","https://openalex.org/W2136762285","https://openalex.org/W2139319952","https://openalex.org/W2149374024","https://openalex.org/W2321234531","https://openalex.org/W2335408379","https://openalex.org/W2466999195","https://openalex.org/W2484369037","https://openalex.org/W2541886812","https://openalex.org/W2588855338","https://openalex.org/W3010020244","https://openalex.org/W4388321602"],"related_works":["https://openalex.org/W4237197901","https://openalex.org/W3109582549","https://openalex.org/W2022108729","https://openalex.org/W3215056321","https://openalex.org/W2795280665","https://openalex.org/W4247236689","https://openalex.org/W4251335330","https://openalex.org/W4255562253","https://openalex.org/W2071373355","https://openalex.org/W1979862983"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2021,"cited_by_count":6},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":5},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}