{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T11:20:37Z","timestamp":1772450437012,"version":"3.50.1"},"reference-count":7,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2002,7,1]]},"DOI":"10.1305\/ndjfl\/1074290714","type":"journal-article","created":{"date-parts":[[2004,1,19]],"date-time":"2004-01-19T15:26:27Z","timestamp":1074525987000},"source":"Crossref","is-referenced-by-count":3,"title":["A Characterization of Permutation Models in Terms of Forcing"],"prefix":"10.1215","volume":"43","author":[{"given":"Eric J.","family":"Hall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"Blass, A., \"Injectivity, projectivity, and the axiom of choice\", <i>Transactions of the American Mathematical Society<\/i>, vol. 255 (1979), pp. 31\u201359.","DOI":"10.1090\/S0002-9947-1979-0542870-6"},{"key":"2","doi-asserted-by":"publisher","unstructured":"Blass, A., and A. Scedrov, \"Freyd's models for the independence of the axiom of choice\", <i>Memoirs of the American Mathematical Society<\/i>, vol. 79 (1989), no. 404.","DOI":"10.1090\/memo\/0404"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Brunner, N., \"The F\"raenkel-Mostowski method, revisited, <i>Notre Dame Journal of Formal Logic<\/i>, vol. 31 (1990), pp. 64\u201375.","DOI":"10.1305\/ndjfl\/1093635333"},{"key":"4","unstructured":"Brunner, N., and J. E. Rubin, \"Permutation models and topological groups\", <i>Rendiconti del Seminario Matematico della Universit\u00e0di Padova<\/i>, vol. 76 (1986), pp. 149\u201361."},{"key":"5","doi-asserted-by":"publisher","unstructured":"Grigorieff, S., \"Intermediate submodels and generic extensions in set theory\", <i>Annals of Mathematics (Second Series)<\/i>, vol. 101 (1975), pp. 447\u201390.","DOI":"10.2307\/1970935"},{"key":"6","doi-asserted-by":"publisher","unstructured":"Howard, P. E., \"Limitations on the F\"raenkel-Mostowski method of independence proofs, <i>The Journal of Symbolic Logic<\/i>, vol. 38 (1973), pp. 416\u201322.","DOI":"10.2307\/2273037"},{"key":"7","unstructured":"Jech, T. J., <i>The A<\/i>xiom of Choice, vol. 75 of <i>Studies in L<\/i>ogic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1973."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1074290714","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:55:56Z","timestamp":1706648156000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-43\/issue-3\/A-Characterization-of-Permutation-Models-in-Terms-of-Forcing\/10.1305\/ndjfl\/1074290714.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7,1]]},"references-count":7,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2002,7,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1074290714","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2002,7,1]]}}}