{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T01:27:32Z","timestamp":1717205252144},"reference-count":12,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":11880,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1981,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We exhibit a finite list of first-order axioms which may be used to define topological spaces. For most separation axioms we discover a first-order equivalent statement.<\/jats:p>","DOI":"10.2307\/2273750","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T17:56:46Z","timestamp":1146938206000},"page":"475-489","source":"Crossref","is-referenced-by-count":3,"title":["First-order topological axioms"],"prefix":"10.1017","volume":"46","author":[{"given":"R. D.","family":"Kopperman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200045345_ref010","unstructured":"Kopperman R. , Length spaces (to appear)."},{"key":"S0022481200045345_ref002","doi-asserted-by":"publisher","DOI":"10.2307\/2373066"},{"key":"S0022481200045345_ref003","first-page":"432","article-title":"Diophantine problems over local fields. III","volume":"82","author":"Ax","year":"1966","journal-title":"American Journal of Mathematics"},{"key":"S0022481200045345_ref008","volume-title":"Applications of model theory to algebra, analysis, and probability","author":"Kopperman","year":"1969"},{"key":"S0022481200045345_ref012","first-page":"77","article-title":"On the locally bounded fields","volume":"9","author":"Nakano","year":"1961","journal-title":"Commentarii Mathematici Universitatis Sancti Pauli"},{"key":"S0022481200045345_ref004","first-page":"149","volume":"23","author":"Chang","year":"1958","journal-title":"On closure under direct product"},{"key":"S0022481200045345_ref006","volume-title":"Model theory and its applications","author":"Kopperman","year":"1972"},{"key":"S0022481200045345_ref011","doi-asserted-by":"publisher","DOI":"10.1002\/mana.19540110304"},{"key":"S0022481200045345_ref005","volume-title":"General topology","author":"Kelley","year":"1955"},{"key":"S0022481200045345_ref009","unstructured":"Kopperman R. , Continuity spaces (to appear)."},{"key":"S0022481200045345_ref007","first-page":"289","volume":"32","author":"Kopperman","year":"1967","journal-title":"On the axiomatizability of uniform spaces"},{"key":"S0022481200045345_ref001","doi-asserted-by":"publisher","DOI":"10.2307\/2373065"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200045345","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T15:44:00Z","timestamp":1558799040000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200045345\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,9]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1981,9]]}},"alternative-id":["S0022481200045345"],"URL":"https:\/\/doi.org\/10.2307\/2273750","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1981,9]]}}}