{"id":"https://openalex.org/W2161849811","doi":"https://doi.org/10.2307/2273800","title":"Co-critical points of elementary embeddings","display_name":"Co-critical points of elementary embeddings","publication_year":1985,"publication_date":"1985-03-01","ids":{"openalex":"https://openalex.org/W2161849811","doi":"https://doi.org/10.2307/2273800","mag":"2161849811"},"language":"en","primary_location":{"id":"doi:10.2307/2273800","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273800","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/A5113481835","display_name":"Michael Sheard","orcid":null},"institutions":[{"id":"https://openalex.org/I141472210","display_name":"University of Alaska Fairbanks","ror":"https://ror.org/01j7nq853","country_code":"US","type":"education","lineage":["https://openalex.org/I141472210"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Michael Sheard","raw_affiliation_strings":["University of Alaska, Fairbanks, Alaska 99701"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Alaska, Fairbanks, Alaska 99701","institution_ids":["https://openalex.org/I141472210"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5113481835"],"corresponding_institution_ids":["https://openalex.org/I141472210"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.28784582,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"50","issue":"1","first_page":"220","last_page":"226"},"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.9987999796867371,"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.9987999796867371,"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.9916999936103821,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9797999858856201,"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/ultrafilter","display_name":"Ultrafilter","score":0.7577878832817078},{"id":"https://openalex.org/keywords/ultraproduct","display_name":"Ultraproduct","score":0.6626992225646973},{"id":"https://openalex.org/keywords/successor-cardinal","display_name":"Successor cardinal","score":0.6402772068977356},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6150155663490295},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5899863243103027},{"id":"https://openalex.org/keywords/transitive-relation","display_name":"Transitive relation","score":0.5362576246261597},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.5092412233352661},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.509082019329071},{"id":"https://openalex.org/keywords/universe","display_name":"Universe","score":0.5016448497772217},{"id":"https://openalex.org/keywords/forcing","display_name":"Forcing (mathematics)","score":0.49573931097984314},{"id":"https://openalex.org/keywords/ideal","display_name":"Ideal (ethics)","score":0.47944989800453186},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.45420995354652405},{"id":"https://openalex.org/keywords/transfinite-number","display_name":"Transfinite number","score":0.44344696402549744},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.39082658290863037},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35554739832878113},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.2312307357788086},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.16230857372283936},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.11894983053207397},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08581319451332092},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.07894280552864075},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.07312414050102234}],"concepts":[{"id":"https://openalex.org/C87598191","wikidata":"https://www.wikidata.org/wiki/Q1571831","display_name":"Ultrafilter","level":2,"score":0.7577878832817078},{"id":"https://openalex.org/C167930466","wikidata":"https://www.wikidata.org/wiki/Q1535225","display_name":"Ultraproduct","level":2,"score":0.6626992225646973},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.6402772068977356},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6150155663490295},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5899863243103027},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.5362576246261597},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.5092412233352661},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.509082019329071},{"id":"https://openalex.org/C84999194","wikidata":"https://www.wikidata.org/wiki/Q1","display_name":"Universe","level":2,"score":0.5016448497772217},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.49573931097984314},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.47944989800453186},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.45420995354652405},{"id":"https://openalex.org/C147358099","wikidata":"https://www.wikidata.org/wiki/Q1069891","display_name":"Transfinite number","level":2,"score":0.44344696402549744},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.39082658290863037},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35554739832878113},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.2312307357788086},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.16230857372283936},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.11894983053207397},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08581319451332092},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.07894280552864075},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.07312414050102234},{"id":"https://openalex.org/C44870925","wikidata":"https://www.wikidata.org/wiki/Q37547","display_name":"Astrophysics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2273800","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273800","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/1183741787","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183741787","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1139854568","https://openalex.org/W2001967220","https://openalex.org/W2056715322","https://openalex.org/W2091413704","https://openalex.org/W2218778419","https://openalex.org/W4237640585"],"related_works":["https://openalex.org/W2147918975","https://openalex.org/W1980613621","https://openalex.org/W2002971968","https://openalex.org/W2897172575","https://openalex.org/W2059089698","https://openalex.org/W1966531754","https://openalex.org/W1987355600","https://openalex.org/W1606601082","https://openalex.org/W3101558303","https://openalex.org/W23083977"],"abstract_inverted_index":{"Probably":[0],"the":[1,16,19,31,34,50,57,62,79,87,109,112,127,134,169,209],"two":[2],"most":[3],"famous":[4],"examples":[5,74],"of":[6,12,18,33,47,56,75,86,111,124,150,166,200,212],"elementary":[7,161],"embeddings":[8,17,32,76],"between":[9],"inner":[10,23,144],"models":[11,145],"set":[13],"theory":[14],"are":[15,66],"universe":[20,36],"into":[21,38],"an":[22,160,193],"model":[24,81,114,129],"given":[25,40],"by":[26,41],"a":[27,54,84,92,99,103,122,197,219],"measurable":[28],"cardinal":[29,105,220],"and":[30,141,152],"constructible":[35],"L":[37],"itself":[39],"0":[42],"#":[43],".":[44,118,191,202,223],"In":[45],"both":[46],"these":[48],"examples,":[49],"\u201ctarget":[51],"model\u201d":[52,59],"is":[53,69,82,91,168,180,195,204,218],"subclass":[55,85],"\u201cground":[58],"(and":[60],"in":[61,77,221],"latter":[63],"case":[64],"they":[65],"equal).":[67],"It":[68,203],"not":[70,83],"hard":[71],"to":[72,131,206],"find":[73],"which":[78],"target":[80,128],"ground":[88,113,135],"model:":[89],"if":[90,174],"generic":[93],"ultrafilter":[94],"arising":[95],"from":[96],"forcing":[97],"with":[98],"precipitous":[100],"ideal":[101],"on":[102],"successor":[104],"\u03ba":[106,117],",":[107,173],"then":[108],"ultraproduct":[110],"via":[115],"collapses":[116],"Such":[119,192],"considerations":[120],"suggest":[121],"classification":[123],"how":[125],"close":[126],"comes":[130],"\u201cfitting":[132],"inside\u201d":[133],"model.":[136],"Definition":[137],"1.1.":[138],"Let":[139],"M":[140,156,190,215],"N":[142,158,186,217,222],"be":[143,159],"(transitive,":[146],"proper":[147],"class":[148],"models)":[149],"ZFC,":[151],"let":[153],"j":[154,167,213],":":[155,214],"\u2192":[157,216],"embedding.":[162],"The":[163],"co-critical":[164,210],"point":[165,211],"least":[170],"ordinal":[171],"\u03bb":[172,201],"any":[175],"exist,":[176],"such":[177],"that":[178,208],"there":[179],"X":[181,184,188,194],"\u2286":[182],"\u03bb,":[183],"\u2208":[185],"but":[187],"\u2209":[189],"called":[196],"new":[198],"subset":[199],"easy":[205],"see":[207]},"counts_by_year":[],"updated_date":"2026-05-21T09:19:25.381259","created_date":"2025-10-10T00:00:00"}