{"id":"https://openalex.org/W2123190305","doi":"https://doi.org/10.1002/malq.200310011","title":"Sperner spaces and first\u2010order logic","display_name":"Sperner spaces and first\u2010order logic","publication_year":2003,"publication_date":"2003-01-21","ids":{"openalex":"https://openalex.org/W2123190305","doi":"https://doi.org/10.1002/malq.200310011","mag":"2123190305"},"language":"en","primary_location":{"id":"doi:10.1002/malq.200310011","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.200310011","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","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":true,"oa_status":"green","oa_url":"https://hdl.handle.net/2027.42/61173","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043571692","display_name":"Andreas Blass","orcid":"https://orcid.org/0000-0001-7445-2980"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Andreas Blass","raw_affiliation_strings":["Mathematics Department, University of Michigan, Ann Arbor, MI 48109 \u2013 1109, U. S. A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematics Department, University of Michigan, Ann Arbor, MI 48109 \u2013 1109, U. S. A","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038599115","display_name":"Victor Pambuccian","orcid":"https://orcid.org/0000-0003-2263-1471"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Victor Pambuccian","raw_affiliation_strings":["Department of Integrative Studies, Arizona State University West, P. O. Box 37100, Phoenix, AZ 85069\u20137100, U. S. A","Department of Integrative Studies, Arizona State University West, P.O. Box 37100, Phoenix, AZ 85069-7100, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Integrative Studies, Arizona State University West, P. O. Box 37100, Phoenix, AZ 85069\u20137100, U. S. A","institution_ids":["https://openalex.org/I55732556"]},{"raw_affiliation_string":"Department of Integrative Studies, Arizona State University West, P.O. Box 37100, Phoenix, AZ 85069-7100, U.S.A","institution_ids":["https://openalex.org/I55732556"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5038599115","https://openalex.org/A5043571692"],"corresponding_institution_ids":["https://openalex.org/I27837315","https://openalex.org/I55732556"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19213728,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"49","issue":"2","first_page":"111","last_page":"114"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9957000017166138,"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.9957000017166138,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9909999966621399,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9868999719619751,"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.8116801977157593},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.7384634017944336},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.5275575518608093},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4857045114040375},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3662649393081665},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.34059634804725647},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.29076313972473145},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.16206133365631104},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08962446451187134}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8116801977157593},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.7384634017944336},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.5275575518608093},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4857045114040375},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3662649393081665},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.34059634804725647},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.29076313972473145},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.16206133365631104},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08962446451187134},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1002/malq.200310011","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.200310011","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","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"},{"id":"pmh:oai:deepblue.lib.umich.edu:2027.42/61173","is_oa":true,"landing_page_url":"https://hdl.handle.net/2027.42/61173","pdf_url":"https://hdl.handle.net/2027.42/61173","source":{"id":"https://openalex.org/S4306400393","display_name":"Deep Blue (University of Michigan)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I27837315","host_organization_name":"University of Michigan","host_organization_lineage":["https://openalex.org/I27837315"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":{"id":"pmh:oai:deepblue.lib.umich.edu:2027.42/61173","is_oa":true,"landing_page_url":"https://hdl.handle.net/2027.42/61173","pdf_url":"https://hdl.handle.net/2027.42/61173","source":{"id":"https://openalex.org/S4306400393","display_name":"Deep Blue (University of Michigan)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I27837315","host_organization_name":"University of Michigan","host_organization_lineage":["https://openalex.org/I27837315"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.550000011920929,"display_name":"Reduced inequalities"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2123190305.pdf","grobid_xml":"https://content.openalex.org/works/W2123190305.grobid-xml"},"referenced_works_count":5,"referenced_works":["https://openalex.org/W64962550","https://openalex.org/W1482193060","https://openalex.org/W2082481079","https://openalex.org/W2087142904","https://openalex.org/W2766049911"],"related_works":["https://openalex.org/W2038416447","https://openalex.org/W2364151838","https://openalex.org/W2066926363","https://openalex.org/W2354159744","https://openalex.org/W2351539857","https://openalex.org/W2381972071","https://openalex.org/W4301382669","https://openalex.org/W2151040698","https://openalex.org/W4287759382","https://openalex.org/W2348093013"],"abstract_inverted_index":{"Abstract":[0],"We":[1,25,48],"study":[2],"the":[3,17,29,51],"class":[4,30],"of":[5,11,19,31,54],"Sperner":[6,32],"spaces,":[7,13],"a":[8,35],"generalized":[9],"version":[10],"affine":[12],"as":[14],"defined":[15],"in":[16],"language":[18],"pointline":[20],"incidence":[21],"and":[22],"line":[23],"parallelity.":[24],"show":[26],"that,":[27],"although":[28],"spaces":[33],"is":[34,39],"pseudo\u2010elementary":[36],"class,":[37],"it":[38],"not":[40],"elementary":[41],"nor":[42],"even":[43],"\u2112\ufe01":[44],"\u221e":[45],"\u03c9":[46],"\u2010axiomatizable.":[47],"also":[49],"axiomatize":[50],"first\u2010order":[52],"theory":[53],"this":[55],"class.":[56]},"counts_by_year":[],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}