{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,6]],"date-time":"2022-12-06T14:20:56Z","timestamp":1670336456829},"reference-count":10,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":3754,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2003,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The theory of ranked partial structures allows a reinterpretation of several of the standard results of model theory and first-order logic and is intended to provide a proof-theoretic method which allows for the intuitions of model theory. A version of the downward L\u00f6wenheim-Skolem theorem is central to our development. In this paper we will present the basic theory of ranked partial structures and their logic including an appropriate version of the completeness theorem.<\/jats:p>","DOI":"10.2178\/jsl\/1067620176","type":"journal-article","created":{"date-parts":[[2005,3,2]],"date-time":"2005-03-02T21:14:18Z","timestamp":1109798058000},"page":"1109-1144","source":"Crossref","is-referenced-by-count":1,"title":["Ranked partial structures"],"prefix":"10.1017","volume":"68","author":[{"given":"Timothy J.","family":"Carlson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200008240_ref007","unstructured":"Quinsey J. E. , Some problems in logic, Ph.D. thesis , St. Catherine's College, Oxford, 04 1980."},{"key":"S0022481200008240_ref003","doi-asserted-by":"publisher","DOI":"10.1112\/blms\/14.4.285"},{"key":"S0022481200008240_ref002","doi-asserted-by":"publisher","DOI":"10.2307\/2006985"},{"key":"S0022481200008240_ref009","first-page":"125","article-title":"\u00dcber die mathematische Logik","volume":"10","author":"Skolem","year":"1928","journal-title":"Norsk Matematisk Tidsskrift"},{"key":"S0022481200008240_ref008","unstructured":"Silver J. , mimeographed notes."},{"key":"S0022481200008240_ref006","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71130-3"},{"key":"S0022481200008240_ref010","volume-title":"From Frege to G\u00f6del. A source book in mathematical logic","author":"van Heijenoort","year":"1967"},{"key":"S0022481200008240_ref005","first-page":"59","volume":"51","author":"Mycielski","year":"1986","journal-title":"Locally finite theories"},{"key":"S0022481200008240_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0090170"},{"key":"S0022481200008240_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-68952-9"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200008240","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T22:09:57Z","timestamp":1557180597000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200008240\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,12]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2003,12]]}},"alternative-id":["S0022481200008240"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1067620176","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,12]]}}}