{"id":"https://openalex.org/W2186120084","doi":"https://doi.org/10.3217/jucs-018-20-2879","title":"The Contrapositive of Countable Choice for Inhabited Sets of Naturals","display_name":"The Contrapositive of Countable Choice for Inhabited Sets of Naturals","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W2186120084","doi":"https://doi.org/10.3217/jucs-018-20-2879","mag":"2186120084"},"language":"en","primary_location":{"id":"doi:10.3217/jucs-018-20-2879","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-018-20-2879","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"DataPaper"},"type":"data-paper","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.3217/jucs-018-20-2879","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078783893","display_name":"Iosif Petrakis","orcid":"https://orcid.org/0000-0002-4121-7455"},"institutions":[{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Iosif Petrakis","raw_affiliation_strings":["Ludwig-Maximilian University of Munich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ludwig-Maximilian University of Munich","institution_ids":["https://openalex.org/I8204097"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5078783893"],"corresponding_institution_ids":["https://openalex.org/I8204097"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"18","issue":null,"first_page":"2879","last_page":"2892"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9865000247955322,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9865000247955322,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9846000075340271,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9818999767303467,"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/countable-set","display_name":"Countable set","score":0.9194636344909668},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.577930212020874},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5017094612121582},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48881933093070984},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.43255889415740967},{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.4187256991863251},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.40238937735557556},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3973885774612427},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.05363869667053223}],"concepts":[{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.9194636344909668},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.577930212020874},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5017094612121582},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48881933093070984},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43255889415740967},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.4187256991863251},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.40238937735557556},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3973885774612427},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.05363869667053223},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3217/jucs-018-20-2879","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-018-20-2879","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"DataPaper"},{"id":"mag:2186120084","is_oa":true,"landing_page_url":"https://lib.jucs.org/article/23983/download/pdf/","pdf_url":null,"source":{"id":"https://openalex.org/S58563349","display_name":"JUCS - Journal of Universal Computer Science","issn_l":"0948-695X","issn":["0948-695X","0948-6968"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317875","host_organization_name":"Verlag der Technischen Universit\u00e4t Graz","host_organization_lineage":["https://openalex.org/P4310317875"],"host_organization_lineage_names":["Verlag der Technischen Universit\u00e4t Graz"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"JUCS - Journal of Universal Computer Science","raw_type":null}],"best_oa_location":{"id":"doi:10.3217/jucs-018-20-2879","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-018-20-2879","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"DataPaper"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W146253241","https://openalex.org/W966006768","https://openalex.org/W1590304156","https://openalex.org/W1966245774","https://openalex.org/W2010993234","https://openalex.org/W2049268966","https://openalex.org/W2067028747","https://openalex.org/W2067914884","https://openalex.org/W2092780681","https://openalex.org/W2541886812"],"related_works":["https://openalex.org/W2130794474","https://openalex.org/W2131337804","https://openalex.org/W2603652185","https://openalex.org/W2745188515","https://openalex.org/W2022537319","https://openalex.org/W1995164411","https://openalex.org/W1973737783","https://openalex.org/W2130872027","https://openalex.org/W1514076924","https://openalex.org/W3158773253","https://openalex.org/W2134347995","https://openalex.org/W2226604542","https://openalex.org/W2150923863","https://openalex.org/W2107232728","https://openalex.org/W2056109783","https://openalex.org/W2081255021","https://openalex.org/W2289373793","https://openalex.org/W2025199228","https://openalex.org/W2132515805","https://openalex.org/W2136604612"],"abstract_inverted_index":{"Within":[0,58],"a":[1,14,35,38,51,99],"fairly":[2],"weak":[3],"formal":[4],"theory":[5,61,81],"of":[6,17,20,37,41,65,68,75,101,112],"numbers":[7],"and":[8,56],"number-theoretic":[9],"se-":[10],"quences":[11],"we":[12,46,49,62,86,97],"give":[13],"direct":[15],"proof":[16,29,36,52],"the":[18,32,59,71,83,107,110],"contrapositive":[19],"countable":[21,76],"finite":[22],"choice":[23],"for":[24],"decid-":[25],"able":[26],"predicates.":[27],"Our":[28],"is":[30,92],"at":[31],"same":[33,60,108],"time":[34],"stronger":[39],"form":[40],"it.":[42],"In":[43,94],"that":[44,48,88,95],"way":[45,96],"think":[47],"improve":[50],"given":[53],"by":[54],"Diener":[55],"Schuster.":[57],"prove":[63,87],"properties":[64],"inhabited":[66],"sets":[67],"naturals":[69],"satisfying":[70],"general":[72],"contra-":[73],"positive":[74],"choice.":[77],"Extending":[78],"our":[79],"base":[80],"with":[82],"continuity":[84],"principle,":[85],"each":[89],"such":[90],"set":[91],"finite.":[93],"generalize":[98],"result":[100],"Veldman,":[102],"who":[103],"proved,":[104],"actually":[105],"within":[106],"extension,":[109],"finiteness":[111],"these":[113],"sets,":[114],"supposing":[115],"additionally":[116],"their":[117],"decidability.":[118]},"counts_by_year":[],"updated_date":"2026-07-17T05:52:16.776730","created_date":"2025-10-10T00:00:00"}