{"id":"https://openalex.org/W2143214426","doi":"https://doi.org/10.2307/2273502","title":"Cardinal collapsing and ordinal definability","display_name":"Cardinal collapsing and ordinal definability","publication_year":1978,"publication_date":"1978-12-01","ids":{"openalex":"https://openalex.org/W2143214426","doi":"https://doi.org/10.2307/2273502","mag":"2143214426"},"language":"en","primary_location":{"id":"doi:10.2307/2273502","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273502","pdf_url":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077368240","display_name":"Petr \u0160t\u011bp\u00e1nek","orcid":"https://orcid.org/0000-0001-5000-8180"},"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":true,"raw_author_name":"Petr \u0160t\u011bp\u00e1nek","raw_affiliation_strings":["Department of Cybernetics and Operational Research, Charles University, Prague 118 00 Praha 1, Czechoslovakia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Cybernetics and Operational Research, Charles University, Prague 118 00 Praha 1, Czechoslovakia","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5077368240"],"corresponding_institution_ids":["https://openalex.org/I21250087"],"apc_list":null,"apc_paid":null,"fwci":2.0473,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.88352162,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"43","issue":"4","first_page":"635","last_page":"642"},"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.9997000098228455,"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.9997000098228455,"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.9731000065803528,"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9503999948501587,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/complete-boolean-algebra","display_name":"Complete Boolean algebra","score":0.7838785648345947},{"id":"https://openalex.org/keywords/ultrafilter","display_name":"Ultrafilter","score":0.7283346652984619},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7102488875389099},{"id":"https://openalex.org/keywords/boolean-algebra","display_name":"Boolean algebra","score":0.6880307197570801},{"id":"https://openalex.org/keywords/two-element-boolean-algebra","display_name":"Two-element Boolean algebra","score":0.6325991749763489},{"id":"https://openalex.org/keywords/stones-representation-theorem-for-boolean-algebras","display_name":"Stone's representation theorem for Boolean algebras","score":0.6010274887084961},{"id":"https://openalex.org/keywords/free-boolean-algebra","display_name":"Free Boolean algebra","score":0.5947296619415283},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5702306032180786},{"id":"https://openalex.org/keywords/boolean-algebras-canonically-defined","display_name":"Boolean algebras canonically defined","score":0.5639418363571167},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5095491409301758},{"id":"https://openalex.org/keywords/axiom-of-choice","display_name":"Axiom of choice","score":0.5012233257293701},{"id":"https://openalex.org/keywords/regular-cardinal","display_name":"Regular cardinal","score":0.4599996507167816},{"id":"https://openalex.org/keywords/automorphism","display_name":"Automorphism","score":0.43609383702278137},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4099631905555725},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.3633121848106384},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.3583357334136963},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3027037978172302},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.22415462136268616},{"id":"https://openalex.org/keywords/algebra-representation","display_name":"Algebra representation","score":0.1130254864692688},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.10721412301063538}],"concepts":[{"id":"https://openalex.org/C81518389","wikidata":"https://www.wikidata.org/wiki/Q5156447","display_name":"Complete Boolean algebra","level":5,"score":0.7838785648345947},{"id":"https://openalex.org/C87598191","wikidata":"https://www.wikidata.org/wiki/Q1571831","display_name":"Ultrafilter","level":2,"score":0.7283346652984619},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7102488875389099},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.6880307197570801},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.6325991749763489},{"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.6010274887084961},{"id":"https://openalex.org/C188159880","wikidata":"https://www.wikidata.org/wiki/Q5499761","display_name":"Free Boolean algebra","level":5,"score":0.5947296619415283},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5702306032180786},{"id":"https://openalex.org/C45503250","wikidata":"https://www.wikidata.org/wiki/Q4943350","display_name":"Boolean algebras canonically defined","level":5,"score":0.5639418363571167},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5095491409301758},{"id":"https://openalex.org/C151797676","wikidata":"https://www.wikidata.org/wiki/Q179692","display_name":"Axiom of choice","level":4,"score":0.5012233257293701},{"id":"https://openalex.org/C89507440","wikidata":"https://www.wikidata.org/wiki/Q1193137","display_name":"Regular cardinal","level":2,"score":0.4599996507167816},{"id":"https://openalex.org/C118712358","wikidata":"https://www.wikidata.org/wiki/Q782566","display_name":"Automorphism","level":2,"score":0.43609383702278137},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4099631905555725},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.3633121848106384},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3583357334136963},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3027037978172302},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.22415462136268616},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.1130254864692688},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.10721412301063538},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2273502","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273502","pdf_url":null,"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:CULeuclid:euclid.jsl/1183740309","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183740309","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W640307386","https://openalex.org/W1013016289","https://openalex.org/W2016341899","https://openalex.org/W2016900158","https://openalex.org/W2051531869","https://openalex.org/W2087446231"],"related_works":["https://openalex.org/W2940617399","https://openalex.org/W11504065","https://openalex.org/W1147302066","https://openalex.org/W2278706574","https://openalex.org/W2123065381","https://openalex.org/W2043703128","https://openalex.org/W1987379996","https://openalex.org/W1636549251","https://openalex.org/W2137133811","https://openalex.org/W2950845229"],"abstract_inverted_index":{"We":[0],"shall":[1],"describe":[2],"Boolean":[3,38,80,94,117,138,256,266],"extensions":[4,39,69],"of":[5,7,13,55,61,64,70,77,122,221],"models":[6],"set":[8,56,100,121,159],"theory":[9,57],"with":[10,58,236,268],"the":[11,26,33,59,67,75,78,163,172,181,219,226,237,269],"axiom":[12,60],"choice":[14],"in":[15,25,40,66,101,109,129,142,203,246,262],"which":[16,41,143,191],"cardinals":[17,43,128,228],"are":[18,44],"collapsed":[19,45],"by":[20,46,176],"mappings":[21],"definable":[22,48,106],"from":[23,32,107,194],"parameters":[24,108],"ground":[27],"model.":[28],"In":[29,82],"particular,":[30,83],"starting":[31],"constructible":[34,42],"universe,":[35],"we":[36],"get":[37],"ordinal":[47],"sets.":[49],"Let":[50],"be":[51,259],"a":[52,91,115,120,135,201,263],"transitive":[53],"model":[54,165],"choice.":[62],"Definability":[63],"sets":[65],"generic":[68],"is":[71,86,105,114,145,150,160,184,209,250],"closely":[72],"related":[73],"to":[74,125,133,186,233],"automorphisms":[76],"corresponding":[79],"algebra.":[81],"if":[84,112],"G":[85,103,149,155,167,196,205],"an":[87],"-generic":[88],"ultrafilter":[89],"on":[90],"rigid":[92,136,264],"complete":[93,116,137,180,265],"algebra":[95,118,139,257,267],"C":[96,140,222,235],",":[97,130,141],"then":[98,153],"every":[99,192,212,255],"[":[102,154,166,195,204],"]":[104,156,170,199],".":[110,178,223,242],"Hence":[111],"B":[113,144,169,177,198,241],"containing":[119],"forcing":[123],"conditions":[124,189],"collapse":[126],"some":[127,188],"it":[131,183,230],"suffices":[132,232],"construct":[134,234],"completely":[146,260],"embedded.":[147],"If":[148],"as":[151,216,218,240],"above,":[152],"satisfies":[157],"\u201cevery":[158],"-definable\u201d":[161],"and":[162],"inner":[164],"\u2229":[168,197],"contains":[171],"collapsing":[173],"mapping":[174],"determined":[175],"To":[179,224],"result,":[182],"necessary":[185],"give":[187],"under":[190],"cardinal":[193,202,213],"remains":[200],"].":[206],"The":[207],"absolutness":[208],"granted":[210],"for":[211],"at":[214],"least":[215],"large":[217],"saturation":[220,239],"keep":[225],"upper":[227],"absolute,":[229],"often":[231],"same":[238,270],"It":[243],"was":[244],"shown":[245],"[6]":[247],"that":[248,254],"this":[249],"always":[251],"possible,":[252],"namely,":[253],"can":[258],"embedded":[261],"saturation.":[271]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}