{"id":"https://openalex.org/W2108569160","doi":"https://doi.org/10.1002/malq.19940400111","title":"Ternary Operations as Primitive Notions for Constructive Plane Geometry IV","display_name":"Ternary Operations as Primitive Notions for Constructive Plane Geometry IV","publication_year":1994,"publication_date":"1994-01-01","ids":{"openalex":"https://openalex.org/W2108569160","doi":"https://doi.org/10.1002/malq.19940400111","mag":"2108569160"},"language":"en","primary_location":{"id":"doi:10.1002/malq.19940400111","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19940400111","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038599115","display_name":"Victor Pambuccian","orcid":"https://orcid.org/0000-0003-2263-1471"},"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"]},{"id":"https://openalex.org/I4210107998","display_name":"African Forum for Agricultural Advisory Services","ror":"https://ror.org/014ty7t94","country_code":"UG","type":"facility","lineage":["https://openalex.org/I4210107998"]}],"countries":["UG","US"],"is_corresponding":true,"raw_author_name":"Victor Pambuccian","raw_affiliation_strings":["Department of Mathematics, University of Michigan, Ann Arbor, Michigan 48109 \u2013 1003, U.S.A","I should like to thank Prof. Andreas Blass, my thesis adviser, both for his guidance and for several helpful suggestions"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Michigan, Ann Arbor, Michigan 48109 \u2013 1003, U.S.A","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"I should like to thank Prof. Andreas Blass, my thesis adviser, both for his guidance and for several helpful suggestions","institution_ids":["https://openalex.org/I4210107998"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5038599115"],"corresponding_institution_ids":["https://openalex.org/I27837315","https://openalex.org/I4210107998"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":1.4856,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.82189638,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"40","issue":"1","first_page":"76","last_page":"86"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12504","display_name":"Mathematics and Applications","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T12504","display_name":"Mathematics and Applications","score":0.9993000030517578,"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/T12170","display_name":"History and Theory of Mathematics","score":0.9929999709129333,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"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/T13267","display_name":"Advanced Theoretical and Applied Studies in Material Sciences and Geometry","score":0.9789999723434448,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.8078276515007019},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7744362950325012},{"id":"https://openalex.org/keywords/euclidean-geometry","display_name":"Euclidean geometry","score":0.7157793641090393},{"id":"https://openalex.org/keywords/ternary-operation","display_name":"Ternary operation","score":0.7032979726791382},{"id":"https://openalex.org/keywords/plane","display_name":"Plane (geometry)","score":0.5856642723083496},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.524281919002533},{"id":"https://openalex.org/keywords/non-euclidean-geometry","display_name":"Non-Euclidean geometry","score":0.459716796875},{"id":"https://openalex.org/keywords/quantifier","display_name":"Quantifier (linguistics)","score":0.4577369689941406},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4260146915912628},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.36467018723487854},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.35397279262542725},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.12377575039863586},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08280053734779358},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.0645621120929718}],"concepts":[{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.8078276515007019},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7744362950325012},{"id":"https://openalex.org/C129782007","wikidata":"https://www.wikidata.org/wiki/Q162886","display_name":"Euclidean geometry","level":2,"score":0.7157793641090393},{"id":"https://openalex.org/C64452783","wikidata":"https://www.wikidata.org/wiki/Q1524945","display_name":"Ternary operation","level":2,"score":0.7032979726791382},{"id":"https://openalex.org/C17825722","wikidata":"https://www.wikidata.org/wiki/Q17285","display_name":"Plane (geometry)","level":2,"score":0.5856642723083496},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.524281919002533},{"id":"https://openalex.org/C10784197","wikidata":"https://www.wikidata.org/wiki/Q233858","display_name":"Non-Euclidean geometry","level":3,"score":0.459716796875},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.4577369689941406},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4260146915912628},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.36467018723487854},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.35397279262542725},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.12377575039863586},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08280053734779358},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0645621120929718},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.19940400111","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19940400111","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W594597140","https://openalex.org/W628877253","https://openalex.org/W637139309","https://openalex.org/W803752352","https://openalex.org/W1444781587","https://openalex.org/W1492786538","https://openalex.org/W1563944172","https://openalex.org/W1595469144","https://openalex.org/W1737043039","https://openalex.org/W1930604040","https://openalex.org/W1972305071","https://openalex.org/W1974820341","https://openalex.org/W1979891734","https://openalex.org/W1983384862","https://openalex.org/W1984131483","https://openalex.org/W1993878411","https://openalex.org/W1999988421","https://openalex.org/W2014131084","https://openalex.org/W2026701827","https://openalex.org/W2032057943","https://openalex.org/W2078569020","https://openalex.org/W2312523595","https://openalex.org/W2316804047","https://openalex.org/W2321893813","https://openalex.org/W2334547332","https://openalex.org/W2561675875","https://openalex.org/W2782564065","https://openalex.org/W2791136684","https://openalex.org/W4229873171","https://openalex.org/W4241429961"],"related_works":["https://openalex.org/W136616785","https://openalex.org/W2580237379","https://openalex.org/W2383246078","https://openalex.org/W1758527124","https://openalex.org/W1570186586","https://openalex.org/W4248394738","https://openalex.org/W4235340387","https://openalex.org/W4388311509","https://openalex.org/W4247078549","https://openalex.org/W3204546133"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"this":[2],"paper":[3],"we":[4],"provide":[5],"a":[6,14],"quantifier\u2010free":[7],"constructive":[8],"axiomatization":[9],"for":[10],"Euclidean":[11],"planes":[12],"in":[13],"first\u2010order":[15],"language":[16],"with":[17],"only":[18],"ternary":[19],"operation":[20],"symbols":[21,25],"and":[22],"three":[23],"constant":[24],"(to":[26],"be":[27],"interpreted":[28],"as":[29],"\u2018points\u2019).":[30],"We":[31],"also":[32],"determine":[33],"the":[34],"algorithmic":[35],"theories":[36],"of":[37],"some":[38],"\u2018naturally":[39],"occurring\u2019":[40],"plane":[41],"geometries.":[42],"Mathematics":[43],"Subject":[44],"Classification:":[45],"03F65,":[46],"51M05,":[47],"51M15,":[48],"03B30.":[49]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}