{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:40:02Z","timestamp":1706650802309},"reference-count":9,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1994,7,1]]},"DOI":"10.1305\/ndjfl\/1040511347","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:41:15Z","timestamp":1046209275000},"source":"Crossref","is-referenced-by-count":1,"title":["Well Ordered Subsets of Linearly Ordered Sets"],"prefix":"10.1215","volume":"35","author":[{"given":"Paul","family":"Howard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hartmut","family":"H\u00f6ft","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"Davis, A., \u201cA characterization theorem of complete lattices,\" <i>Pacific Journal of Mathematics<\/i>, vol. 5 (1955), pp. 311\u2013319.","DOI":"10.2140\/pjm.1955.5.311"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Hickman, J., \u201cA class of near finite order types,\" <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen Mathematik<\/i>, vol. 25 (1979), pp. 79\u201392. Zbl 0404.04005 MR 80h:04003","DOI":"10.1002\/malq.19790250309"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Howard, P., and M. Yorke, \u201cDefinitions of finite,\" <i>Fundamenta Mathematicae<\/i>, vol. 133 (1989), pp. 169\u2013177. Zbl 0704.03033 MR 91h:03068","DOI":"10.4064\/fm-133-3-169-177"},{"key":"4","unstructured":"Jech, T., <i>The Axiom of Choice<\/i>, North-Holland, Amsterdam, 1973. Zbl 0259.02051 MR 53:139"},{"key":"5","unstructured":"Kunen, K., <i>Set Theory. An Introduction to Independence Proofs<\/i>, North-Holland, Amsterdam, 1980. Zbl 0443.03021 MR 82f:03001"},{"key":"6","unstructured":"Manka, R., \u201cSome forms of the axiom of choice,\" <i>Jahrbuch der Kurt-G\u00f6del-Geselleschaft<\/i>, (1988), pp. 24-34. Zbl 0687.04002 MR 90j:03091"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Moore, G., <i>Zermelo's Axiom of Choice<\/i>, Springer-Verlag, New York, 1982. Zbl 0497.01005 MR 85b:01036","DOI":"10.1007\/978-1-4613-9478-5_3"},{"key":"8","doi-asserted-by":"publisher","unstructured":"Pincus, D., \u201cZermelo-Fraenkel consistency results by Fraenkel-Mostowski methods,\" <i>Journal of Symbolic Logic<\/i>, vol. 37 (1972), pp. 721\u2013743. Zbl 0268.02043 MR 49:2374","DOI":"10.2307\/2272420"},{"key":"9","unstructured":"Sierpinski, W., \u201cL'Axiome de M. Zermelo et son r\u00f4le dans la th\u00e9orie des ensembles et l'analyse,\" <i>Bulletin de l'Acad\u00e9mie des Sciences de Cracovie<\/i>, S\u00e9rie A (1918), pp. 97\u2013152."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040511347","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:15Z","timestamp":1706649135000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-35\/issue-3\/Well-Ordered-Subsets-of-Linearly-Ordered-Sets\/10.1305\/ndjfl\/1040511347.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,7,1]]},"references-count":9,"journal-issue":{"issue":"3","published-online":{"date-parts":[[1994,7,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040511347","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1994,7,1]]}}}