{"id":"https://openalex.org/W2067002157","doi":"https://doi.org/10.1002/malq.19900360205","title":"Some nonstandard methods applied to distributive lattices","display_name":"Some nonstandard methods applied to distributive lattices","publication_year":1990,"publication_date":"1990-01-01","ids":{"openalex":"https://openalex.org/W2067002157","doi":"https://doi.org/10.1002/malq.19900360205","mag":"2067002157"},"language":"en","primary_location":{"id":"doi:10.1002/malq.19900360205","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19900360205","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/A5028851521","display_name":"Mai Gehrke","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mai Gehrke","raw_affiliation_strings":["Department of Mathematics Vanderbilt University Nashville, Tennessee 37235 U.S.A"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics Vanderbilt University Nashville, Tennessee 37235 U.S.A","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043739986","display_name":"Matt Insall","orcid":null},"institutions":[{"id":"https://openalex.org/I20382870","display_name":"Missouri University of Science and Technology","ror":"https://ror.org/00scwqd12","country_code":"US","type":"education","lineage":["https://openalex.org/I20382870"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matt Insall","raw_affiliation_strings":["Department of Mathematics and Statistics University of Missouri - Rolla Rolla, Missouri 65401\u20130249"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics University of Missouri - Rolla Rolla, Missouri 65401\u20130249","institution_ids":["https://openalex.org/I20382870"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052887880","display_name":"Klaus Kaiser","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Klaus Kaiser","raw_affiliation_strings":["A preliminary version of this paper was presented at the 1988 Nonstandard Analysis Conference in Massachusetts and we benefited from many stimulating conversations especially with Prof. Luxemburg. There we also became aware of C. W. Neville's forthcoming paper on nonstandard Stone duality. He also makes use of hyperfinite lattice theory and discusses ramifications to proof theory. M. Gehrke wants to express her gratitude to the nonstandard analysis group in Strassbourg/Mulhouse, Paris and Nice for their hospitality during the academic year of 1987\u20131988","Department of Mathematics University of Houston Houston, Texas 77204\u20133476 U.S.A"],"affiliations":[{"raw_affiliation_string":"A preliminary version of this paper was presented at the 1988 Nonstandard Analysis Conference in Massachusetts and we benefited from many stimulating conversations especially with Prof. Luxemburg. There we also became aware of C. W. Neville's forthcoming paper on nonstandard Stone duality. He also makes use of hyperfinite lattice theory and discusses ramifications to proof theory. M. Gehrke wants to express her gratitude to the nonstandard analysis group in Strassbourg/Mulhouse, Paris and Nice for their hospitality during the academic year of 1987\u20131988","institution_ids":[]},{"raw_affiliation_string":"Department of Mathematics University of Houston Houston, Texas 77204\u20133476 U.S.A","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5028851521"],"corresponding_institution_ids":[],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":1.0975,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.75563636,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"36","issue":"2","first_page":"123","last_page":"131"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9984999895095825,"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"}},"topics":[{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9984999895095825,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9959999918937683,"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.9950000047683716,"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/gratitude","display_name":"Gratitude","score":0.6640071272850037},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4955958127975464},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.4292709529399872},{"id":"https://openalex.org/keywords/mathematics-education","display_name":"Mathematics education","score":0.32462167739868164},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.19747167825698853},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.19491153955459595}],"concepts":[{"id":"https://openalex.org/C2779930795","wikidata":"https://www.wikidata.org/wiki/Q2728730","display_name":"Gratitude","level":2,"score":0.6640071272850037},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4955958127975464},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.4292709529399872},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.32462167739868164},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.19747167825698853},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.19491153955459595},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.19900360205","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19900360205","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":10,"referenced_works":["https://openalex.org/W160431620","https://openalex.org/W963810948","https://openalex.org/W1263199940","https://openalex.org/W1502653069","https://openalex.org/W1974989819","https://openalex.org/W2043703128","https://openalex.org/W2121917306","https://openalex.org/W2572301780","https://openalex.org/W3047122219","https://openalex.org/W6678279482"],"related_works":["https://openalex.org/W2754218581","https://openalex.org/W4232627398","https://openalex.org/W2883689832","https://openalex.org/W2160373287","https://openalex.org/W2522111510","https://openalex.org/W4366689611","https://openalex.org/W3142518643","https://openalex.org/W2617834768","https://openalex.org/W4313205222","https://openalex.org/W4308317581"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}