{"id":"https://openalex.org/W4253654792","doi":"https://doi.org/10.2307/2266609","title":"Inner models for set theory\u2014Part II","display_name":"Inner models for set theory\u2014Part II","publication_year":1952,"publication_date":"1952-12-01","ids":{"openalex":"https://openalex.org/W4253654792","doi":"https://doi.org/10.2307/2266609"},"language":"en","primary_location":{"id":"doi:10.2307/2266609","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2266609","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/A5061853263","display_name":"J. C. Shepherdson","orcid":null},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"J. C. Shepherdson","raw_affiliation_strings":["University of Bristol, England"],"affiliations":[{"raw_affiliation_string":"University of Bristol, England","institution_ids":["https://openalex.org/I36234482"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5061853263"],"corresponding_institution_ids":["https://openalex.org/I36234482"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.70471842,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"17","issue":"4","first_page":"225","last_page":"237"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10778","display_name":"Philosophy and History of Science","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10778","display_name":"Philosophy and History of Science","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.9873999953269958,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"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.9764999747276306,"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/axiom","display_name":"Axiom","score":0.7620254755020142},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6670544743537903},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6476802825927734},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.6098105311393738},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.4838344156742096},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43149974942207336},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4287324845790863},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4198017120361328},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.41160690784454346},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.41091233491897583},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3818141222000122},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.32049018144607544},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.14642265439033508},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.1020737886428833},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07796937227249146},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.07009872794151306},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06968647241592407}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7620254755020142},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6670544743537903},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6476802825927734},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6098105311393738},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.4838344156742096},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43149974942207336},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4287324845790863},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4198017120361328},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.41160690784454346},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.41091233491897583},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3818141222000122},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.32049018144607544},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.14642265439033508},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.1020737886428833},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07796937227249146},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.07009872794151306},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06968647241592407},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.2307/2266609","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2266609","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W943508897","https://openalex.org/W1629174050","https://openalex.org/W2501639037"],"related_works":["https://openalex.org/W2504004674","https://openalex.org/W4237277701","https://openalex.org/W1595229445","https://openalex.org/W2498744856","https://openalex.org/W4390482104","https://openalex.org/W322408318","https://openalex.org/W149041114","https://openalex.org/W2963177394","https://openalex.org/W1593118741","https://openalex.org/W2142305280"],"abstract_inverted_index":{"In":[0],"this":[1,216],"paper":[2,23],"we":[3,85],"continue":[4],"the":[5,11,33,50,74,88,91,107,141,162,170,173,182,203,208,222,234],"study":[6],"of":[7,10,31,40,47,81,143,168,184],"inner":[8],"models":[9,16],"type":[12],"studied":[13],"in":[14,37,79,90,129,166,215,237,255,304],"Inner":[15],"for":[17],"set":[18],"theory\u2014Part":[19],"I.":[20],"The":[21,44],"present":[22],"is":[24,59,68,99,125,161,254,302],"concerned":[25],"exclusively":[26],"with":[27],"a":[28,57,103,144,152],"particular":[29],"kind":[30],"model,":[32],"\u2018super-complete":[34],"models\u2019":[35],"defined":[36,113,229],"section":[38],"2.4":[39,48],"I":[41],"(page":[42],"186).":[43],"condition":[45,52,71],"(c)":[46,72],"and":[49,73,240,260,296],"completeness":[51,75],"1.42":[53,78],"imply":[54],"that":[55,172],"such":[56],"model":[58,105,108,174],"uniquely":[60],"determined":[61,175],"when":[62],"its":[63],"universal":[64],"class":[65,96],"V":[66,82,97],"m":[67,83,98,194,245,250,265,270,275,280],"given.":[69],"Writing":[70],"conditions":[76],"1.41,":[77],"terms":[80,167],",":[84,115,195,197,259],"may":[86],"state":[87],"definition":[89,124,142],"form:":[92],"3.1.":[93],"Dfn.":[94],"A":[95,244,249],"said":[100],"to":[101,179,191],"determine":[102],"super-complete":[104,153],"if":[106],"whose":[109],"basic":[110],"notions":[111],"are":[112],"by":[114,176,218,233,252,258,272,282],"satisfies":[116,181],"axioms":[117,185,210],"A,":[118,186],"B,":[119,187],"C.":[120,188],"N.":[121],"B.":[122],"This":[123],"not":[126],"necessarily":[127],"metamathematical":[128],"nature.":[130],"If":[131],"desired,":[132],"it":[133],"could":[134],"be":[135,212],"written":[136],"out":[137,221],"quite":[138],"formally":[139],"as":[140],"notion":[145],"\u2018SCM(":[146],"U":[147,150,159,169,177,200,288,300],")\u2019":[148,271,281],"(\u2018":[149],"determines":[151],"model\u2019)":[154],"thus:":[155],"where":[156],"\u03c8":[157,198,298],"(":[158,199,248,268,278,293,299],")":[160,201,246,251,266,276,301],"propositional":[163],"function":[164],"expressing":[165],"fact":[171],"according":[178],"3.1":[180],"relativization":[183],"E.g.":[189],"corresponding":[190,235],"axiom":[192],"A1":[193],"i.e.,":[196],"contains":[202],"equivalent":[204],"term":[205],".":[206],"All":[207],"relativized":[209,223],"can":[211],"similarly":[213,261],"expressed":[214],"way":[217],"first":[219],"writing":[220],"form":[224],"(after":[225],"having":[226],"replaced":[227,257],"all":[228],"symbols":[230],"which":[231,253],"occur":[232],"formulae":[236],"primitive":[238,305],"notation)":[239],"then":[241],"replacing":[242,262],"\u2018(":[243,263,273,283],"\u03d5":[247,267,277,292],"turn":[256],"x":[264,269,274,279],"X":[284,286,294],")(":[285],"\u03f5":[287],"\u25aa":[289,291],"\u2283":[290],")),":[295],"Thus":[297],"obtained":[303],"notation.":[306]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}