{"id":"https://openalex.org/W2953106595","doi":"https://doi.org/10.1007/s00153-019-00672-z","title":"Set-theoretic blockchains","display_name":"Set-theoretic blockchains","publication_year":2019,"publication_date":"2019-03-26","ids":{"openalex":"https://openalex.org/W2953106595","doi":"https://doi.org/10.1007/s00153-019-00672-z","mag":"2953106595"},"language":"en","primary_location":{"id":"doi:10.1007/s00153-019-00672-z","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00153-019-00672-z","pdf_url":null,"source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for Mathematical Logic","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1808.01509","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028191732","display_name":"Miha E. Habi\u010d","orcid":"https://orcid.org/0000-0002-3110-6962"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]},{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Miha E. Habi\u010d","raw_affiliation_strings":["Department of Logic, Faculty of Arts, Charles University, N\u00e1m. Jana Palacha 2, 116 38, Praha 1, Czech Republic","Faculty of Information Technology, Czech Technical University in Prague, Th\u00e1kurova 9, 160 00, Praha 6, Czech Republic"],"raw_orcid":"https://orcid.org/0000-0002-3110-6962","affiliations":[{"raw_affiliation_string":"Department of Logic, Faculty of Arts, Charles University, N\u00e1m. Jana Palacha 2, 116 38, Praha 1, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Faculty of Information Technology, Czech Technical University in Prague, Th\u00e1kurova 9, 160 00, Praha 6, Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078404862","display_name":"Joel David Hamkins","orcid":"https://orcid.org/0000-0002-9959-0500"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Joel David Hamkins","raw_affiliation_strings":["Faculty of Philosophy, University of Oxford, Radcliffe Observatory Quarter 555, Woodstock Road, Oxford, OX2 6GG, UK","Sir Peter Strawson Fellow in Philosophy, University College, Oxford, OX1 4BH, UK"],"raw_orcid":"https://orcid.org/0000-0002-9959-0500","affiliations":[{"raw_affiliation_string":"Faculty of Philosophy, University of Oxford, Radcliffe Observatory Quarter 555, Woodstock Road, Oxford, OX2 6GG, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Sir Peter Strawson Fellow in Philosophy, University College, Oxford, OX1 4BH, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053757141","display_name":"Lukas Daniel Klausner","orcid":"https://orcid.org/0000-0003-3650-9733"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Lukas Daniel Klausner","raw_affiliation_strings":["Institute of Discrete Mathematics and Geometry, TU Wien, Wiedner Hauptstra\u00dfe 8\u201310/104, 1040, Wien, Austria"],"raw_orcid":"https://orcid.org/0000-0003-3650-9733","affiliations":[{"raw_affiliation_string":"Institute of Discrete Mathematics and Geometry, TU Wien, Wiedner Hauptstra\u00dfe 8\u201310/104, 1040, Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015953065","display_name":"Jonathan L. Verner","orcid":"https://orcid.org/0000-0002-0633-9043"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Jonathan Verner","raw_affiliation_strings":["Department of Logic, Faculty of Arts, Charles University, N\u00e1m. Jana Palacha 2, 116 38, Praha 1, Czech Republic"],"raw_orcid":"https://orcid.org/0000-0002-0633-9043","affiliations":[{"raw_affiliation_string":"Department of Logic, Faculty of Arts, Charles University, N\u00e1m. Jana Palacha 2, 116 38, Praha 1, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075593525","display_name":"Kameryn J. Williams","orcid":"https://orcid.org/0000-0002-0881-0249"},"institutions":[{"id":"https://openalex.org/I117965899","display_name":"University of Hawai\u02bbi at M\u0101noa","ror":"https://ror.org/01wspgy28","country_code":"US","type":"education","lineage":["https://openalex.org/I117965899"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kameryn J. Williams","raw_affiliation_strings":["Department of Mathematics, University of Hawai\u2018i at M\u0101noa, 2565 McCarthy Mall, Keller 401A, Honolulu, HI, 96822, USA","Department of Mathematics, University of Hawai'i at M\u0101noa, 2565 McCarthy Mall, Keller 401A, Honolulu, HI, 96822, USA"],"raw_orcid":"https://orcid.org/0000-0002-0881-0249","affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Hawai\u2018i at M\u0101noa, 2565 McCarthy Mall, Keller 401A, Honolulu, HI, 96822, USA","institution_ids":["https://openalex.org/I117965899"]},{"raw_affiliation_string":"Department of Mathematics, University of Hawai'i at M\u0101noa, 2565 McCarthy Mall, Keller 401A, Honolulu, HI, 96822, USA","institution_ids":["https://openalex.org/I117965899"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5075593525"],"corresponding_institution_ids":["https://openalex.org/I117965899"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":1.9001,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.84917485,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"58","issue":"7-8","first_page":"965","last_page":"997"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9991999864578247,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9991999864578247,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9987999796867371,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9843999743461609,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"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/countable-set","display_name":"Countable set","score":0.8662981986999512},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7954606413841248},{"id":"https://openalex.org/keywords/forcing","display_name":"Forcing (mathematics)","score":0.7873037457466125},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.6557331085205078},{"id":"https://openalex.org/keywords/partially-ordered-set","display_name":"Partially ordered set","score":0.6470979452133179},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.6459674835205078},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.5190280675888062},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5158100128173828},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5005269050598145},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.47424784302711487},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.43524667620658875},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.39540934562683105},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3938480317592621},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.1680144965648651}],"concepts":[{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.8662981986999512},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7954606413841248},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.7873037457466125},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.6557331085205078},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.6470979452133179},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6459674835205078},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5190280675888062},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5158100128173828},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5005269050598145},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.47424784302711487},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.43524667620658875},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.39540934562683105},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3938480317592621},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1680144965648651},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00153-019-00672-z","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00153-019-00672-z","pdf_url":null,"source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for Mathematical Logic","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1808.01509","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1808.01509","pdf_url":"https://arxiv.org/pdf/1808.01509","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1808.01509","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1808.01509","pdf_url":"https://arxiv.org/pdf/1808.01509","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":null,"raw_type":"text"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.6899999976158142}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W41293291","https://openalex.org/W403698140","https://openalex.org/W762601918","https://openalex.org/W1487175521","https://openalex.org/W1538772034","https://openalex.org/W1598405987","https://openalex.org/W1779814238","https://openalex.org/W1933515991","https://openalex.org/W1969948941","https://openalex.org/W2032413729","https://openalex.org/W2052199430","https://openalex.org/W2057115855","https://openalex.org/W2069506349","https://openalex.org/W2071437178","https://openalex.org/W2090375774","https://openalex.org/W2112163936","https://openalex.org/W2120228804","https://openalex.org/W2121739804","https://openalex.org/W2139907287","https://openalex.org/W2231310864","https://openalex.org/W2475920342","https://openalex.org/W2577758317","https://openalex.org/W2613496382","https://openalex.org/W2616852454","https://openalex.org/W2775085327","https://openalex.org/W2798947970","https://openalex.org/W2803142058","https://openalex.org/W2934427250","https://openalex.org/W2954457239","https://openalex.org/W2963484868","https://openalex.org/W2963502405","https://openalex.org/W2963783217","https://openalex.org/W2964070547","https://openalex.org/W3035788520","https://openalex.org/W3039407765","https://openalex.org/W3092059186","https://openalex.org/W3099405459","https://openalex.org/W3104790535","https://openalex.org/W3105397830","https://openalex.org/W3116098355","https://openalex.org/W4205470529","https://openalex.org/W4230632233","https://openalex.org/W4235312496","https://openalex.org/W4240109445","https://openalex.org/W4244289484","https://openalex.org/W4255866735","https://openalex.org/W4288327344"],"related_works":["https://openalex.org/W2964283661","https://openalex.org/W1616071682","https://openalex.org/W1970843323","https://openalex.org/W4283328073","https://openalex.org/W2330980320","https://openalex.org/W573961896","https://openalex.org/W4299792293","https://openalex.org/W1499331102","https://openalex.org/W2962677089","https://openalex.org/W369254667"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2019-06-27T00:00:00"}