{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T06:19:05Z","timestamp":1784528345197,"version":"3.55.0"},"reference-count":25,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":1107,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2011,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Fra\u00efss\u00e9 studied countable structures <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200001997_inline1\"\/> through analysis of the <jats:italic>age<\/jats:italic> of <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200001997_inline1\"\/>, i.e., the set of all finitely generated substructures of <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200001997_inline1\"\/>. We investigate the effectiveness of his analysis, considering effectively presented lists of finitely generated structures and asking when such a list is the age of a computable structure. We focus particularly on the <jats:italic>Fra\u00efss\u00e9 limit<\/jats:italic>. We also show that degree spectra of relations on a sufficiently nice Fra\u00efss\u00e9 limit are always upward closed unless the relation is definable by a quantifier-free formula. We give some sufficient or necessary conditions for a Fra\u00efss\u00e9 limit to be spectrally universal. As an application, we prove that the computable atomless Boolean algebra is spectrally universal.<\/jats:p>","DOI":"10.2178\/jsl\/1294170990","type":"journal-article","created":{"date-parts":[[2011,1,4]],"date-time":"2011-01-04T20:22:35Z","timestamp":1294172555000},"page":"66-93","source":"Crossref","is-referenced-by-count":11,"title":["Computability of Fra\u00efss\u00e9 limits"],"prefix":"10.1017","volume":"76","author":[{"given":"Barbara F.","family":"Csima","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Valentina S.","family":"Harizanov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Russell","family":"Miller","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antonio","family":"Montalb\u00e1n","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200001997_ref023","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7"},{"key":"S0022481200001997_ref020","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19860322514"},{"key":"S0022481200001997_ref016","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(97)00059-6"},{"key":"S0022481200001997_ref017","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511565670.009"},{"key":"S0022481200001997_ref013","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(01)00087-2"},{"key":"S0022481200001997_ref012","first-page":"324","volume":"72","author":"Harizanov","year":"2007","journal-title":"Spectra of structures and relations"},{"key":"S0022481200001997_ref010","first-page":"3","volume-title":"Handbook of recursive mathematics","volume":"1","author":"Harizanov","year":"1998"},{"key":"S0022481200001997_ref025","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-98-04314-7"},{"key":"S0022481200001997_ref014","volume-title":"A shorter model theory","author":"Hodges","year":"1997"},{"key":"S0022481200001997_ref021","first-page":"723","volume":"46","author":"Richter","year":"1981","journal-title":"Degrees of structures"},{"key":"S0022481200001997_ref001","volume-title":"Computable structures and the hyperarithmetical hierarchy","author":"Ash","year":"2000"},{"key":"S0022481200001997_ref024","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-41906-9"},{"key":"S0022481200001997_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90049-R"},{"key":"S0022481200001997_ref003","first-page":"1213","volume":"55","author":"Chisholm","year":"1990","journal-title":"The complexity of intrinsically r.e. subsets of existentially decidable models"},{"key":"S0022481200001997_ref018","first-page":"1034","volume":"51","author":"Knight","year":"1986","journal-title":"Degrees coded in jumps of orderings"},{"key":"S0022481200001997_ref022","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-98-04307-X"},{"key":"S0022481200001997_ref015","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90038-N"},{"key":"S0022481200001997_ref002","first-page":"26","volume-title":"Aspects of effective algebra","author":"Ash","year":"1981"},{"key":"S0022481200001997_ref004","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025971406116"},{"key":"S0022481200001997_ref005","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1994-1203984-4"},{"key":"S0022481200001997_ref006","first-page":"545","article-title":"Orderings with \u03b1-th jump degree 0\u03b1","volume":"114","author":"Downey","year":"1992","journal-title":"Proceedings of the American Mathematical Society"},{"key":"S0022481200001997_ref007","volume-title":"Theory of relations","author":"Fra\u00efss\u00e9","year":"1986"},{"key":"S0022481200001997_ref008","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2005.02.001"},{"key":"S0022481200001997_ref011","first-page":"65","volume-title":"Contemporary mathematics","author":"Harizanov","year":"2000"},{"key":"S0022481200001997_ref019","first-page":"470","volume":"66","author":"Miller","year":"2001","journal-title":"The \u039420-spectrum of a linear order"}],"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200001997","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T19:23:58Z","timestamp":1556393038000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200001997\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["S0022481200001997"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1294170990","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3]]}}}