{"id":"https://openalex.org/W2024098113","doi":"https://doi.org/10.2178/jsl/1208359059","title":"On the structure of the Medvedev lattice","display_name":"On the structure of the Medvedev lattice","publication_year":2008,"publication_date":"2008-04-16","ids":{"openalex":"https://openalex.org/W2024098113","doi":"https://doi.org/10.2178/jsl/1208359059","mag":"2024098113"},"language":"en","primary_location":{"id":"doi:10.2178/jsl/1208359059","is_oa":true,"landing_page_url":"https://doi.org/10.2178/jsl/1208359059","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A5E55C19483F5832732050C3BA2678C9/S0022481200004497a.pdf/div-class-title-on-the-structure-of-the-medvedev-lattice-div.pdf","source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A5E55C19483F5832732050C3BA2678C9/S0022481200004497a.pdf/div-class-title-on-the-structure-of-the-medvedev-lattice-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076144323","display_name":"Sebastiaan A. Terwijn","orcid":"https://orcid.org/0000-0002-1464-6908"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Sebastiaan A. Terwijn","raw_affiliation_strings":["Kurt G\u00f6del Research Center For Mathematical Logic, University of Vienna, W\u00e4hringer Stra\u03b2e 25, 1040 Vienna, Austria, E-mail:","Kurt G\u00f6del Research Center For Mathematical Logic, University of Vienna, W\u00e4hringer Stra\u03b2e 25, 1040 Vienna, Austria, E-mail: terwijn@logic.at"],"affiliations":[{"raw_affiliation_string":"Kurt G\u00f6del Research Center For Mathematical Logic, University of Vienna, W\u00e4hringer Stra\u03b2e 25, 1040 Vienna, Austria, E-mail:","institution_ids":["https://openalex.org/I129774422"]},{"raw_affiliation_string":"Kurt G\u00f6del Research Center For Mathematical Logic, University of Vienna, W\u00e4hringer Stra\u03b2e 25, 1040 Vienna, Austria, E-mail: terwijn@logic.at","institution_ids":["https://openalex.org/I129774422"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5076144323"],"corresponding_institution_ids":["https://openalex.org/I129774422"],"apc_list":null,"apc_paid":null,"fwci":2.4695,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.88733772,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"73","issue":"2","first_page":"543","last_page":"558"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9994999766349792,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9994999766349792,"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/T11567","display_name":"semigroups and automata theory","score":0.9853000044822693,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9480000138282776,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/antichain","display_name":"Antichain","score":0.7502070665359497},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.7020752429962158},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6473063230514526},{"id":"https://openalex.org/keywords/countable-set","display_name":"Countable set","score":0.5014133453369141},{"id":"https://openalex.org/keywords/congruence-lattice-problem","display_name":"Congruence lattice problem","score":0.49232661724090576},{"id":"https://openalex.org/keywords/boolean-algebras-canonically-defined","display_name":"Boolean algebras canonically defined","score":0.48904070258140564},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4731130301952362},{"id":"https://openalex.org/keywords/boolean-algebra","display_name":"Boolean algebra","score":0.4727426767349243},{"id":"https://openalex.org/keywords/map-of-lattices","display_name":"Map of lattices","score":0.45524686574935913},{"id":"https://openalex.org/keywords/stones-representation-theorem-for-boolean-algebras","display_name":"Stone's representation theorem for Boolean algebras","score":0.44043800234794617},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4364737868309021},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3329031765460968},{"id":"https://openalex.org/keywords/partially-ordered-set","display_name":"Partially ordered set","score":0.3268406391143799},{"id":"https://openalex.org/keywords/two-element-boolean-algebra","display_name":"Two-element Boolean algebra","score":0.2767294645309448},{"id":"https://openalex.org/keywords/distributive-lattice","display_name":"Distributive lattice","score":0.2410689890384674},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.22528678178787231},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.11974406242370605},{"id":"https://openalex.org/keywords/algebra-representation","display_name":"Algebra representation","score":0.114827960729599},{"id":"https://openalex.org/keywords/reciprocal-lattice","display_name":"Reciprocal lattice","score":0.09823718667030334},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.0949910581111908}],"concepts":[{"id":"https://openalex.org/C136134351","wikidata":"https://www.wikidata.org/wiki/Q431937","display_name":"Antichain","level":3,"score":0.7502070665359497},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.7020752429962158},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6473063230514526},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.5014133453369141},{"id":"https://openalex.org/C84540187","wikidata":"https://www.wikidata.org/wiki/Q5160997","display_name":"Congruence lattice problem","level":4,"score":0.49232661724090576},{"id":"https://openalex.org/C45503250","wikidata":"https://www.wikidata.org/wiki/Q4943350","display_name":"Boolean algebras canonically defined","level":5,"score":0.48904070258140564},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4731130301952362},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.4727426767349243},{"id":"https://openalex.org/C128379363","wikidata":"https://www.wikidata.org/wiki/Q6753757","display_name":"Map of lattices","level":4,"score":0.45524686574935913},{"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.44043800234794617},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4364737868309021},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3329031765460968},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.3268406391143799},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.2767294645309448},{"id":"https://openalex.org/C192606457","wikidata":"https://www.wikidata.org/wiki/Q2363730","display_name":"Distributive lattice","level":3,"score":0.2410689890384674},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.22528678178787231},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.11974406242370605},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.114827960729599},{"id":"https://openalex.org/C89957378","wikidata":"https://www.wikidata.org/wiki/Q164129","display_name":"Reciprocal lattice","level":3,"score":0.09823718667030334},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0949910581111908},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"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":7,"locations":[{"id":"doi:10.2178/jsl/1208359059","is_oa":true,"landing_page_url":"https://doi.org/10.2178/jsl/1208359059","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A5E55C19483F5832732050C3BA2678C9/S0022481200004497a.pdf/div-class-title-on-the-structure-of-the-medvedev-lattice-div.pdf","source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:dare.uva.nl:openaire/24d028a7-0a50-410e-b928-5f34ac985ae3","is_oa":true,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/on-the-structure-of-the-medvedev-lattice(24d028a7-0a50-410e-b928-5f34ac985ae3).html","pdf_url":"https://pure.uva.nl/ws/files/23338405/On_the_structure_of_the_Medvedev_lattice.pdf","source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Terwijn, S A 2008, 'On the structure of the Medvedev lattice', Journal of Symbolic Logic, vol. 73, no. 2, pp. 543-558. https://doi.org/10.2178/jsl/1208359059","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1208359059","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1208359059","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.238.1482","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.238.1482","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/math/0606529v1.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.486.4250","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.486.4250","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://staff.science.uva.nl/~terwijn/publications/structureplain.pdf","raw_type":"text"},{"id":"pmh:oai:dare.uva.nl:publications/24d028a7-0a50-410e-b928-5f34ac985ae3","is_oa":true,"landing_page_url":"http://dare.uva.nl/personal/pure/en/publications/on-the-structure-of-the-medvedev-lattice(24d028a7-0a50-410e-b928-5f34ac985ae3).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Terwijn, S A 2008, 'On the structure of the Medvedev lattice', Journal of Symbolic Logic, vol. 73, no. 2, pp. 543-558. https://doi.org/10.2178/jsl/1208359059","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/24d028a7-0a50-410e-b928-5f34ac985ae3","is_oa":true,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/on-the-structure-of-the-medvedev-lattice(24d028a7-0a50-410e-b928-5f34ac985ae3).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Symbolic Logic, 73(2), 543 - 558. Cambridge University Press","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.2178/jsl/1208359059","is_oa":true,"landing_page_url":"https://doi.org/10.2178/jsl/1208359059","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A5E55C19483F5832732050C3BA2678C9/S0022481200004497a.pdf/div-class-title-on-the-structure-of-the-medvedev-lattice-div.pdf","source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321010","display_name":"Universiteit Utrecht","ror":"https://ror.org/04pp8hn57"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2024098113.pdf","grobid_xml":"https://content.openalex.org/works/W2024098113.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W1422201042","https://openalex.org/W1965275942","https://openalex.org/W1976715498","https://openalex.org/W1978413491","https://openalex.org/W1990286579","https://openalex.org/W2010874076","https://openalex.org/W2011026408","https://openalex.org/W2023675490","https://openalex.org/W2059499920","https://openalex.org/W2117832390","https://openalex.org/W2135114591","https://openalex.org/W2153885813","https://openalex.org/W2530006810","https://openalex.org/W2905135108","https://openalex.org/W6628342605","https://openalex.org/W6644388485"],"related_works":["https://openalex.org/W4256012180","https://openalex.org/W2940617399","https://openalex.org/W1496446432","https://openalex.org/W2369221237","https://openalex.org/W2973173654","https://openalex.org/W4293768128","https://openalex.org/W1194565192","https://openalex.org/W2328403920","https://openalex.org/W2953201839","https://openalex.org/W1990784442"],"abstract_inverted_index":{"Abstract":[0],"We":[1,13,48,77,85],"investigate":[2],"the":[3,6,19,42,45,58,95,126],"structure":[4],"of":[5,39,44,62,81,121],"Medvedev":[7,96],"lattice":[8,20,46,59,97,111],"as":[9,98,109],"a":[10,31,103,110],"partial":[11],"order.":[12],"prove":[14,50],"that":[15,51,57,68,87,102],"every":[16,74],"interval":[17],"in":[18,24,66,73],"is":[21,28,53,115],"either":[22],"finite,":[23],"which":[25,120],"case":[26],"it":[27,52,114],"isomorphic":[29],"to":[30],"finite":[32],"Boolean":[33,89,104],"algebra,":[34],"or":[35],"contains":[36],"an":[37],"antichain":[38],"size":[40,43,63],".":[41,64],"itself.":[47],"also":[49,78],"consistent":[54],"with":[55],"ZFC":[56],"has":[60],"chains":[61,71],"and":[65,83],"fact":[67],"these":[69,122],"big":[70],"occur":[72],"infinite":[75],"interval.":[76],"study":[79],"embeddings":[80],"lattices":[82],"algebras.":[84],"show":[86],"large":[88],"algebras":[90],"can":[91,106],"be":[92,107],"embedded":[93,108],"into":[94],"upper":[99],"semilattices,":[100],"but":[101],"algebra":[105],"only":[112],"if":[113],"countable.":[116],"Finally":[117],"we":[118],"discuss":[119],"results":[123],"hold":[124],"for":[125],"closely":[127],"related":[128],"Muchnik":[129],"lattice.":[130]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}