{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T10:59:11Z","timestamp":1770461951742,"version":"3.49.0"},"reference-count":2,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T00:00:00Z","timestamp":1730160000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2025,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>It is shown that every model of NF admits a permutation model containing an internal automorphism.<\/jats:p>","DOI":"10.1017\/jsl.2024.47","type":"journal-article","created":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T03:35:48Z","timestamp":1730172948000},"page":"1796-1800","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":0,"title":["INTERNAL AUTOMORPHISMS AND ANTIMORPHISMS OF MODELS OF NF"],"prefix":"10.1017","volume":"90","author":[{"given":"NATHAN","family":"BOWLER","sequence":"first","affiliation":[{"name":"FACHBEREICH MATHEMATIK UNIVERSIT\u00c4T HAMBURG"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"THOMAS","family":"FORSTER","sequence":"additional","affiliation":[{"name":"VICTORIA UNIVERSITY OF WELLINGTON"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2024,10,29]]},"reference":[{"key":"S0022481224000471_r2","article-title":"Synonymy questions concerning the Quine systems","author":"Forster","journal-title":"Journal of Symbolic Logic"},{"key":"S0022481224000471_r1","volume-title":"Set Theory with a Universal Set","author":"Forster","year":"1992"}],"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481224000471","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T06:57:56Z","timestamp":1770361076000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481224000471\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,29]]},"references-count":2,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["S0022481224000471"],"URL":"https:\/\/doi.org\/10.1017\/jsl.2024.47","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,29]]},"assertion":[{"value":"\u00a9 The Author(s), 2024. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This is an Open Access article, distributed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivatives licence (https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/), which permits non-commercial re-use, distribution, and reproduction in any medium, provided the original work is unaltered and is properly cited. The written permission of Cambridge University Press must be obtained for commercial re-use or in order to create a derivative work.","name":"license","label":"License","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}