{"id":"https://openalex.org/W2062971733","doi":"https://doi.org/10.1305/ndjfl/1093635835","title":"Minimal satisfaction classes with an application to rigid models of Peano arithmetic.","display_name":"Minimal satisfaction classes with an application to rigid models of Peano arithmetic.","publication_year":1991,"publication_date":"1991-06-01","ids":{"openalex":"https://openalex.org/W2062971733","doi":"https://doi.org/10.1305/ndjfl/1093635835","mag":"2062971733"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093635835","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093635835","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal 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/A5030170691","display_name":"Roman Kossak","orcid":"https://orcid.org/0000-0002-8475-5747"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Roman Kossak","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5091663311","display_name":"James H. Schmerl","orcid":"https://orcid.org/0000-0003-0545-8339"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"James H. Schmerl","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5132,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.64371599,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"32","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9165999889373779,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9165999889373779,"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/peano-axioms","display_name":"Peano axioms","score":0.9197149276733398},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.7237123250961304},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5990974307060242},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.35240569710731506},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3379207253456116},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3233976364135742},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.23339053988456726}],"concepts":[{"id":"https://openalex.org/C97489613","wikidata":"https://www.wikidata.org/wiki/Q842755","display_name":"Peano axioms","level":2,"score":0.9197149276733398},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.7237123250961304},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5990974307060242},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.35240569710731506},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3379207253456116},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3233976364135742},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.23339053988456726}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093635835","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093635835","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1093635835","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093635835","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/W98284338","https://openalex.org/W943283237","https://openalex.org/W1967436090","https://openalex.org/W2167687907","https://openalex.org/W4231202900","https://openalex.org/W4240806172"],"related_works":["https://openalex.org/W171744056","https://openalex.org/W1577881803","https://openalex.org/W2115117868","https://openalex.org/W3136886172","https://openalex.org/W4301007153","https://openalex.org/W4390013774","https://openalex.org/W2303556051","https://openalex.org/W968826431","https://openalex.org/W2085902896","https://openalex.org/W3042647161"],"abstract_inverted_index":{"For":[0],"each":[1],"regular":[2],"K,":[3],"models":[4,27,64,95,106,175,242,278],"of":[5,28,46,49,58,65,72,91,143,168,176,190,195,270,279],"Peano":[6],"Arithmetic":[7],"are":[8,11,52,77],"constructed":[9],"which":[10,145],"rigid,":[12,238],"recursively":[13,25,43,62,74,93,140,173,197,240],"saturated,":[14],"and":[15,119,155,184,223,233],"\u03ba-like.The":[16],"construction":[17,200,208],"relies":[18],"on":[19,202,213],"a":[20,188,191,214,251,265],"theorem":[21,164,266],"asserting":[22,165],"that":[23,102],"countable,":[24],"saturated":[26,44,63,75,94,141,174,198,241],"PA":[29,47,144,177],"have":[30],"many":[31,271],"minimal,":[32],"inductive":[33,220,273],"satisfaction":[34,221,247,274],"classes.After":[35],"Kaufmann's":[36],"rather":[37],"classless":[38],"model,":[39],"i.e.":[40],"an":[41,136],"\u03c9i-like":[42,92,105],"model":[45,142,252],"all":[48,244],"whose":[50],"classes":[51,275],"definable":[53],"(cf.Kaufmann":[54],"[1]),":[55],"other":[56],"examples":[57],"\u03c9":[59,137,170],"r":[60,138,171],"like":[61,139,172],"PA,":[66],"with":[67,96],"properties":[68],"different":[69],"from":[70],"those":[71],"countable":[73,115,196,277],"models,":[76],"no":[78,152,158,225,259],"longer":[79],"surprising.However,":[80],"it":[81,150,229],"is":[82,101,146,211],"still":[83],"worthwhile":[84],"to":[85,111,125,236],"investigate":[86],"questions":[87,103,112,121],"about":[88,104,113,193],"the":[89,166,203,268],"existence":[90,167,269],"various":[97],"second-order":[98],"properties.One":[99],"reason":[100],"can":[107],"usually":[108],"be":[109,126],"translated":[110],"their":[114,129],"elementary":[116,160,261],"initial":[117],"segments,":[118],"these":[120],"often":[122],"turn":[123],"out":[124],"interesting":[127],"in":[128,182,230],"own":[130],"right.In":[131],"this":[132],"paper":[133],"we":[134],"construct":[135,237],"rigid":[147,169],"(that":[148],"is,":[149],"has":[151,157,258],"nontrivial":[153,159],"automorphisms)":[154],"even":[156],"embeddings":[161],"into":[162],"itself.A":[163],"was":[178],"stated,":[179],"without":[180],"proof,":[181],"Kossak":[183],"Kotlarski":[185],"[3]":[186],"as":[187],"corollary":[189],"result":[192],"automorphisms":[194],"models.That":[199],"depended":[201],"settheoretic":[204],"principle":[205],"0.":[206],"The":[207],"presented":[209],"here":[210],"based":[212],"MacDowell-Specker":[215],"type":[216],"argument,":[217],"using":[218],"minimal":[219,254,272],"classes,":[222],"needs":[224],"set-theoretic":[226],"assumptions.We":[227],"use":[228],"Theorem":[231],"10":[232],"Corollary":[234],"11":[235],"\u03ba-like":[239],"for":[243,250,276],"uncountable":[245],"K.A":[246],"class":[248],"S":[249],"Mis":[253],"if":[255],"(M,":[256],"S)":[257],"proper":[260],"substructures.We":[262],"will":[263],"prove":[264],"showing":[267],"PA.":[280]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}