{"id":"https://openalex.org/W2082855678","doi":"https://doi.org/10.2478/forma-2013-0023","title":"Prime Filters and Ideals in Distributive Lattices","display_name":"Prime Filters and Ideals in Distributive Lattices","publication_year":2013,"publication_date":"2013-10-01","ids":{"openalex":"https://openalex.org/W2082855678","doi":"https://doi.org/10.2478/forma-2013-0023","mag":"2082855678"},"language":"en","primary_location":{"id":"doi:10.2478/forma-2013-0023","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2013-0023","pdf_url":"https://sciendo.com/pdf/10.2478/forma-2013-0023","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://sciendo.com/pdf/10.2478/forma-2013-0023","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073856205","display_name":"Adam Grabowski","orcid":"https://orcid.org/0000-0001-5026-3990"},"institutions":[{"id":"https://openalex.org/I245364917","display_name":"University of Bia\u0142ystok","ror":"https://ror.org/01qaqcf60","country_code":"PL","type":"education","lineage":["https://openalex.org/I245364917"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Adam Grabowski","raw_affiliation_strings":["Institute of Informatics University of Biaystok Akademicka 2, 15-267 Biaystok Poland","Institute of Informatics University of Bia\u0142ystok Akademicka 2, 15-267 Bia\u0142ystok Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Informatics University of Biaystok Akademicka 2, 15-267 Biaystok Poland","institution_ids":["https://openalex.org/I245364917"]},{"raw_affiliation_string":"Institute of Informatics University of Bia\u0142ystok Akademicka 2, 15-267 Bia\u0142ystok Poland","institution_ids":["https://openalex.org/I245364917"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5073856205"],"corresponding_institution_ids":["https://openalex.org/I245364917"],"apc_list":null,"apc_paid":null,"fwci":0.7251,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.73683341,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"21","issue":"3","first_page":"213","last_page":"221"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9991999864578247,"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.9991999864578247,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9785000085830688,"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/T11671","display_name":"Fuzzy and Soft Set Theory","score":0.9528999924659729,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/boolean-prime-ideal-theorem","display_name":"Boolean prime ideal theorem","score":0.8233675360679626},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7481902837753296},{"id":"https://openalex.org/keywords/distributive-lattice","display_name":"Distributive lattice","score":0.6930845975875854},{"id":"https://openalex.org/keywords/prime","display_name":"Prime (order theory)","score":0.6597927212715149},{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.6556835770606995},{"id":"https://openalex.org/keywords/prime-element","display_name":"Prime element","score":0.6049298644065857},{"id":"https://openalex.org/keywords/ideal","display_name":"Ideal (ethics)","score":0.5886718034744263},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.562495231628418},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.48664507269859314},{"id":"https://openalex.org/keywords/congruence-lattice-problem","display_name":"Congruence lattice problem","score":0.47478148341178894},{"id":"https://openalex.org/keywords/boolean-algebra","display_name":"Boolean algebra","score":0.47090697288513184},{"id":"https://openalex.org/keywords/map-of-lattices","display_name":"Map of lattices","score":0.4513217806816101},{"id":"https://openalex.org/keywords/stones-representation-theorem-for-boolean-algebras","display_name":"Stone's representation theorem for Boolean algebras","score":0.43389174342155457},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.34232309460639954},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.31468117237091064},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2960759401321411},{"id":"https://openalex.org/keywords/two-element-boolean-algebra","display_name":"Two-element Boolean algebra","score":0.2647950053215027},{"id":"https://openalex.org/keywords/algebra-representation","display_name":"Algebra representation","score":0.06927359104156494},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.06333476305007935}],"concepts":[{"id":"https://openalex.org/C175958551","wikidata":"https://www.wikidata.org/wiki/Q872088","display_name":"Boolean prime ideal theorem","level":3,"score":0.8233675360679626},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7481902837753296},{"id":"https://openalex.org/C192606457","wikidata":"https://www.wikidata.org/wiki/Q2363730","display_name":"Distributive lattice","level":3,"score":0.6930845975875854},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.6597927212715149},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.6556835770606995},{"id":"https://openalex.org/C116335209","wikidata":"https://www.wikidata.org/wiki/Q240651","display_name":"Prime element","level":3,"score":0.6049298644065857},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.5886718034744263},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.562495231628418},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.48664507269859314},{"id":"https://openalex.org/C84540187","wikidata":"https://www.wikidata.org/wiki/Q5160997","display_name":"Congruence lattice problem","level":4,"score":0.47478148341178894},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.47090697288513184},{"id":"https://openalex.org/C128379363","wikidata":"https://www.wikidata.org/wiki/Q6753757","display_name":"Map of lattices","level":4,"score":0.4513217806816101},{"id":"https://openalex.org/C10021369","wikidata":"https://www.wikidata.org/wiki/Q1166774","display_name":"Stone's representation theorem for Boolean algebras","level":5,"score":0.43389174342155457},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.34232309460639954},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.31468117237091064},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2960759401321411},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.2647950053215027},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.06927359104156494},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.06333476305007935},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C89957378","wikidata":"https://www.wikidata.org/wiki/Q164129","display_name":"Reciprocal lattice","level":3,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"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/C207114421","wikidata":"https://www.wikidata.org/wiki/Q133900","display_name":"Diffraction","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.2478/forma-2013-0023","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2013-0023","pdf_url":"https://sciendo.com/pdf/10.2478/forma-2013-0023","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:10d3558d6b5b41b89d25fe8219c4b44d","is_oa":true,"landing_page_url":"https://doaj.org/article/10d3558d6b5b41b89d25fe8219c4b44d","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formalized Mathematics, Vol 21, Iss 3, Pp 213-221 (2013)","raw_type":"article"},{"id":"pmh:oai:repozytorium.uwb.edu.pl:11320/3690","is_oa":false,"landing_page_url":"http://hdl.handle.net/11320/3690","pdf_url":null,"source":{"id":"https://openalex.org/S4306400933","display_name":"The Repository of University in Bialystok (University in Bialystok)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210094198","host_organization_name":"University Clinical Hospital In Bialystok","host_organization_lineage":["https://openalex.org/I4210094198"],"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":"doi:10.2478/forma-2013-0023","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2013-0023","pdf_url":"https://sciendo.com/pdf/10.2478/forma-2013-0023","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2082855678.pdf","grobid_xml":"https://content.openalex.org/works/W2082855678.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W42085471","https://openalex.org/W180239714","https://openalex.org/W192809544","https://openalex.org/W206333455","https://openalex.org/W260340778","https://openalex.org/W1483101703","https://openalex.org/W1500907847","https://openalex.org/W1582269801","https://openalex.org/W1987699575","https://openalex.org/W2017096836","https://openalex.org/W2099252149","https://openalex.org/W2163641194","https://openalex.org/W2291621916","https://openalex.org/W2302518702","https://openalex.org/W2304533832","https://openalex.org/W2618397809","https://openalex.org/W4249997563","https://openalex.org/W4285719527","https://openalex.org/W6634958245"],"related_works":["https://openalex.org/W2112873942","https://openalex.org/W4225006771","https://openalex.org/W2002751370","https://openalex.org/W1969507306","https://openalex.org/W2739665862","https://openalex.org/W2082855678","https://openalex.org/W4313194644","https://openalex.org/W1598921604","https://openalex.org/W1990784442","https://openalex.org/W2385952760"],"abstract_inverted_index":{"Summary.":[0],"The":[1,72],"article":[2,78],"continues":[3],"the":[4,7,23,62,76,95,102,112,138,150,155,174,186,195],"formalization":[5],"of":[6,19,39,75,105,114,129,167,177,188],"lattice":[8,179],"theory":[9],"(as":[10],"structures":[11],"with":[12],"two":[13],"binary":[14],"operations,":[15],"not":[16,142],"in":[17,92,109,131,149,165,194],"terms":[18,166],"ordering":[20],"relations).":[21],"In":[22,154],"Mizar":[24],"Mathematical":[25],"Library,":[26],"there":[27],"are":[28],"some":[29,46,126],"attempts":[30],"to":[31,51,61,80,124],"formalize":[32],"prime":[33,116,170,191],"ideals":[34],"and":[35,55,88,118,169,172,190],"filters;":[36],"one":[37],"series":[38],"articles":[40],"written":[41],"as":[42,143,173],"decoding":[43],"[9]":[44],"proven":[45],"results;":[47],"we":[48,122,158],"tried":[49],"however":[50],"follow":[52],"[21],":[53],"[12],":[54],"[13].":[56],"All":[57],"three":[58],"were":[59],"devoted":[60],"Stone":[63],"representation":[64],"theorem":[65],"[18]":[66],"for":[67],"Boolean":[68,89,110,133],"or":[69],"Heyting":[70],"lattices.":[71],"main":[73],"aim":[74],"present":[77,159],"was":[79],"bridge":[81],"this":[82],"gap":[83],"between":[84],"general":[85,97,152],"distributive":[86],"lattices":[87],"algebras,":[90],"having":[91],"mind":[93],"that":[94,184],"more":[96,151],"approach":[98],"will":[99],"eventually":[100],"replace":[101],"common":[103],"proof":[104],"aforementioned":[106],"articles.1":[107],"Because":[108],"algebras":[111],"notions":[113],"ultrafilters,":[115],"filters":[117,120,171,192],"maximal":[119,168,189],"coincide,":[121],"decided":[123],"construct":[125],"concrete":[127],"examples":[128],"ultrafilters":[130],"nontrivial":[132],"lattice.":[134],"We":[135],"proved":[136],"also":[137],"Prime":[139,146],"Ideal":[140],"Theorem":[141],"BPI":[144],"(Boolean":[145],"Ideal),":[147],"but":[148],"setting.":[153],"final":[156],"section":[157],"Nachbin":[160],"theorems":[161],"[15],[1]":[162],"expressed":[163],"both":[164],"unordered":[175],"spectra":[176],"a":[178],"[11],":[180],"[10].":[181],"This":[182],"shows":[183],"if":[185],"notion":[187],"coincide":[193],"lattice,":[196],"it":[197],"is":[198],"Boolean.":[199]},"counts_by_year":[{"year":2015,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}