{"id":"https://openalex.org/W1976365164","doi":"https://doi.org/10.2307/2272738","title":"An elementary sentence which has ordered models","display_name":"An elementary sentence which has ordered models","publication_year":1972,"publication_date":"1972-09-01","ids":{"openalex":"https://openalex.org/W1976365164","doi":"https://doi.org/10.2307/2272738","mag":"1976365164"},"language":"en","primary_location":{"id":"doi:10.2307/2272738","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272738","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/A5091663311","display_name":"James H. Schmerl","orcid":"https://orcid.org/0000-0003-0545-8339"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"James H. Schmerl","raw_affiliation_strings":["Yale University, New Haven, Connecticut 06520","Yale University  ;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Yale University, New Haven, Connecticut 06520","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"Yale University  ;","institution_ids":["https://openalex.org/I32971472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5091663311"],"corresponding_institution_ids":["https://openalex.org/I32971472"],"apc_list":null,"apc_paid":null,"fwci":2.6048,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.88622047,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"37","issue":"3","first_page":"521","last_page":"530"},"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.9990000128746033,"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.9990000128746033,"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/T11703","display_name":"Rings, Modules, and Algebras","score":0.9907000064849854,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9848999977111816,"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/mathematics","display_name":"Mathematics","score":0.7539660930633545},{"id":"https://openalex.org/keywords/cardinality","display_name":"Cardinality (data modeling)","score":0.6832365989685059},{"id":"https://openalex.org/keywords/sentence","display_name":"Sentence","score":0.6307344436645508},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5263044834136963},{"id":"https://openalex.org/keywords/binary-relation","display_name":"Binary relation","score":0.4344692826271057},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.42945462465286255},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.35747313499450684},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.1329425871372223},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08194658160209656}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7539660930633545},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.6832365989685059},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.6307344436645508},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5263044834136963},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.4344692826271057},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.42945462465286255},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.35747313499450684},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1329425871372223},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08194658160209656},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2272738","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272738","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/1183738318","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183738318","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":4,"referenced_works":["https://openalex.org/W567983113","https://openalex.org/W1474387820","https://openalex.org/W1983705661","https://openalex.org/W2061250638"],"related_works":["https://openalex.org/W2002177687","https://openalex.org/W2058438338","https://openalex.org/W2019471580","https://openalex.org/W2168299207","https://openalex.org/W4224920876","https://openalex.org/W4253128163","https://openalex.org/W2003123666","https://openalex.org/W24519920","https://openalex.org/W4253000595","https://openalex.org/W2087778462"],"abstract_inverted_index":{"Let":[0],"<":[1,37,98],"and":[2,28,152,202,294],"\u227c":[3],"be":[4],"two":[5],"distinguished":[6],"binary":[7],"relation":[8],"symbols.":[9],"A":[10,20,23,34,40,58],"structure":[11,41],"is":[12,15,42,45,66,91,126,138,149,166,192,204,223,251,281],"\u03ba-like":[13,162,214],"iff":[14,44,94,164],"a":[16,46,55,63,108,177,213,219,272],"linear":[17,48],"ordering":[18,49],"of":[19,33,50,57,105,122,131,179,240,287],",":[21,27,100],"card(":[22],")":[24],"=":[25],"\u03ba":[26,38,65,90,106,153,165,201],"every":[29],"proper":[30],"initial":[31],"segment":[32],"has":[35,159,212,218],"cardinality":[36],".":[39,59,68,169],"\u03b1-ordered":[43,161],"(reflexive)":[47],"type":[51],"\u03b1":[52,86,92,99,114,120,148],"with":[53,128,143,183],"field":[54],"subset":[56,104],"We":[60],"define":[61],"when":[62],"cardinal":[64],"\u03b1-inaccessible":[67,168],"(In":[69],"this":[70,190,225,277],"paper,":[71],"inaccessible":[72,83],"always":[73],"means":[74],"weakly":[75],"inaccessible.)":[76],"The":[77,232],"0-inaccessible":[78],"cardinals":[79,121,200,241],"are":[80,116],"just":[81,117],"the":[82,118,129,132,144,195,229,235,244,249,264,268,279,284],"cardinals;":[84],"if":[85,208,248],">":[87],"0,":[88],"then":[89,157,216,263],"-inaccessible":[93],"for":[95],"each":[96,101],"\u03b2":[97,109],"closed,":[102],"cofinal":[103],"contains":[107],"-inaccessible.":[110],"(The":[111],"(1":[112],"+":[113],")-inaccessibles":[115],"\u03c1":[119],"Mahlo.)":[123],"This":[124,170],"paper":[125],"concerned":[127],"proof":[130],"following":[133,196],"theorem.":[134],"Main":[135],"Theorem.":[136],"There":[137],"an":[139,150,154,160,209],"elementary":[140,210],"sentence":[141,211],"\u03c3":[142,158],"property":[145],"that":[146,189,207],"whenever":[147],"ordinal":[151],"infinite":[155],"cardinal,":[156],"model":[163],"not":[167],"theorem":[171,230,233,265],"gives":[172],"some":[173,259],"additional":[174],"answers":[175],"to":[176,194,227,255,276,283],"question":[178,191,226,250],"Mostowski":[180],"about":[181],"languages":[182],"generalized":[184,252],"quantifiers.":[185],"Fuhrken":[186,288],"[1]":[187],"showed":[188],"equivalent":[193],"one:":[197],"For":[198,271],"which":[199,228,242],"\u03bb":[203,239],"it":[205,217],"true":[206],"model,":[215],"\u03bb-like":[220],"model?":[221],"It":[222],"actually":[224],"refers.":[231],"limits":[234,267],"possible":[236,269],"pairs":[237],"\u03ba,":[238],"answer":[243],"question.":[245],"In":[246],"fact,":[247],"so":[253],"as":[254,289,291],"permit":[256],"sentences":[257],"from":[258],"more":[260,273],"extensive":[261],"language,":[262],"still":[266],"answers.":[270],"thorough":[274],"introduction":[275],"problem,":[278],"reader":[280],"referred":[282],"aforementioned":[285],"article":[286],"well":[290],"Keisler":[292],"[2]":[293],"Vaught":[295],"[6].":[296]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}