{"id":"https://openalex.org/W2396052486","doi":"https://doi.org/10.1002/malq.201400089","title":"On the set\u2010theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements","display_name":"On the set\u2010theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements","publication_year":2016,"publication_date":"2016-05-01","ids":{"openalex":"https://openalex.org/W2396052486","doi":"https://doi.org/10.1002/malq.201400089","mag":"2396052486"},"language":"en","primary_location":{"id":"doi:10.1002/malq.201400089","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201400089","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108590548","display_name":"Paul C. Howard","orcid":null},"institutions":[{"id":"https://openalex.org/I138216421","display_name":"Eastern Michigan University","ror":"https://ror.org/02ehshm78","country_code":"US","type":"education","lineage":["https://openalex.org/I138216421"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Paul Howard","raw_affiliation_strings":["Department of Mathematics Eastern Michigan University Ypsilanti MI 48197 United States of America","Department of Mathematics, Eastern Michigan University, Ypsilanti, MI 48197 United States of America"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics Eastern Michigan University Ypsilanti MI 48197 United States of America","institution_ids":["https://openalex.org/I138216421"]},{"raw_affiliation_string":"Department of Mathematics, Eastern Michigan University, Ypsilanti, MI 48197 United States of America","institution_ids":["https://openalex.org/I138216421"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052244432","display_name":"Denis I. Saveliev","orcid":"https://orcid.org/0000-0002-0519-2641"},"institutions":[{"id":"https://openalex.org/I4210107660","display_name":"Institute for Information Transmission Problems","ror":"https://ror.org/013w2d378","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210107660"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Denis I. Saveliev","raw_affiliation_strings":["Institute for Information Transmission Problems Russian Academy of Sciences B. Karetny 19 127994 Moscow Russian Federation","Institute for Information Transmission Problems, Russian Academy of Sciences, B. Karetny 19, 127994 Moscow, Russian Federation"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Information Transmission Problems Russian Academy of Sciences B. Karetny 19 127994 Moscow Russian Federation","institution_ids":["https://openalex.org/I4210107660"]},{"raw_affiliation_string":"Institute for Information Transmission Problems, Russian Academy of Sciences, B. Karetny 19, 127994 Moscow, Russian Federation","institution_ids":["https://openalex.org/I4210107660"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000502133","display_name":"Eleftherios Tachtsis","orcid":"https://orcid.org/0000-0001-9114-3661"},"institutions":[{"id":"https://openalex.org/I98805295","display_name":"University of the Aegean","ror":"https://ror.org/03zsp3p94","country_code":"GR","type":"education","lineage":["https://openalex.org/I98805295"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Eleftherios Tachtsis","raw_affiliation_strings":["Department of Mathematics University of the Aegean Karlovassi 83200 Samos Greece","Department of Mathematics, University of the Aegean, Karlovassi 83200, Samos, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics University of the Aegean Karlovassi 83200 Samos Greece","institution_ids":["https://openalex.org/I98805295"]},{"raw_affiliation_string":"Department of Mathematics, University of the Aegean, Karlovassi 83200, Samos, Greece","institution_ids":["https://openalex.org/I98805295"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5108590548"],"corresponding_institution_ids":["https://openalex.org/I138216421"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":1.0814,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.79809641,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"62","issue":"3","first_page":"155","last_page":"176"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9970999956130981,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9970999956130981,"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.9883000254631042,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9713000059127808,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.9383770823478699},{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.871691107749939},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6897649765014648},{"id":"https://openalex.org/keywords/element","display_name":"Element (criminal law)","score":0.6663547158241272},{"id":"https://openalex.org/keywords/axiom-of-choice","display_name":"Axiom of choice","score":0.5487847328186035},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5246491432189941},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5233204364776611},{"id":"https://openalex.org/keywords/maximal-element","display_name":"Maximal element","score":0.5117892622947693},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5078273415565491},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4520844519138336},{"id":"https://openalex.org/keywords/extensionality","display_name":"Extensionality","score":0.44573214650154114},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.37115222215652466},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3677690625190735},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.050391554832458496},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.043654054403305054}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.9383770823478699},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.871691107749939},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6897649765014648},{"id":"https://openalex.org/C200288055","wikidata":"https://www.wikidata.org/wiki/Q2621792","display_name":"Element (criminal law)","level":2,"score":0.6663547158241272},{"id":"https://openalex.org/C151797676","wikidata":"https://www.wikidata.org/wiki/Q179692","display_name":"Axiom of choice","level":4,"score":0.5487847328186035},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5246491432189941},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5233204364776611},{"id":"https://openalex.org/C196773441","wikidata":"https://www.wikidata.org/wiki/Q1475294","display_name":"Maximal element","level":3,"score":0.5117892622947693},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5078273415565491},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4520844519138336},{"id":"https://openalex.org/C150355047","wikidata":"https://www.wikidata.org/wiki/Q965432","display_name":"Extensionality","level":2,"score":0.44573214650154114},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.37115222215652466},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3677690625190735},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.050391554832458496},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.043654054403305054},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.201400089","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201400089","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W328650061","https://openalex.org/W797519960","https://openalex.org/W1549237291","https://openalex.org/W1991515818","https://openalex.org/W2043703128","https://openalex.org/W2471110833"],"related_works":["https://openalex.org/W2082808755","https://openalex.org/W1987928142","https://openalex.org/W3116107092","https://openalex.org/W4287555623","https://openalex.org/W2280660603","https://openalex.org/W3112595056","https://openalex.org/W2152801202","https://openalex.org/W1587633197","https://openalex.org/W1529641503","https://openalex.org/W2780988814"],"abstract_inverted_index":{"In":[0],"set":[1,20,33,50,64,111,132],"theory":[2,112,133],"without":[3,21,34,51,65,91],"the":[4,11,15,86,114,123],"Axiom":[5,115],"of":[6,14,44,75,85,95,116,125],"Choice":[7],",":[8,100,105],"we":[9,81],"study":[10],"deductive":[12],"strength":[13],"statements":[16,88],"(\u201cEvery":[17,30,47,61],"partially":[18,31],"ordered":[19,32,49,63],"a":[22,35,39,52,66,70],"maximal":[23,36],"element":[24,37,54,68],"has":[25,38,55,69],"two":[26,56],"disjoint":[27,42,57,73],"cofinal":[28,45,58,76],"subsets\u201d),":[29,46,59],"countably":[40,71],"infinite":[41,72],"family":[43,74],"linearly":[48,62],"maximum":[53,67],"and":[60,136],"subsets\u201d).":[77],"Among":[78],"various":[79],"results,":[80],"prove":[82],"that":[83],"none":[84],"above":[87],"is":[89,97,139],"provable":[90],"using":[92],"some":[93],"form":[94],"choice,":[96],"equivalent":[98],"to":[99,121],"+":[101],"(Dependent":[102],"Choices)":[103],"implies":[104],"does":[106,127],"not":[107,128],"imply":[108,129],"in":[109,119,130,143],"(Zermelo\u2010Fraenkel":[110,131],"with":[113],"Extensionality":[117],"modified":[118],"order":[120],"allow":[122],"existence":[124],"atoms),":[126],"minus":[134],")":[135,138],"(hence,":[137],"strictly":[140],"weaker":[141],"than":[142],".":[144]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}