{"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":1706650802546},"reference-count":13,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1995,10,1]]},"DOI":"10.1305\/ndjfl\/1040136916","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:22:07Z","timestamp":1046208127000},"source":"Crossref","is-referenced-by-count":0,"title":["PA(aa)"],"prefix":"10.1215","volume":"36","author":[{"given":"James H.","family":"Schmerl","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"#cr-split#-1.1","doi-asserted-by":"crossref","unstructured":"Barwise, J., M. Kaufmann, and M. Makkai, \"Stationary logic,\" <i>Annals of Mathematical Logic<\/i>, vol. 13 (1978), pp. 171-224","DOI":"10.1016\/0003-4843(78)90003-7"},{"key":"#cr-split#-1.2","doi-asserted-by":"crossref","unstructured":"(correction in <i>Annals of Mathematical Logic<\/i>, vol. 20 (1981), pp. 231-232). Zbl 0372.02031 MR 82f:03031a","DOI":"10.1016\/0003-4843(81)90004-8"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Eklof, P., and A. Mekler, \u201cStationary logic of finitely determinate structures,\" <i>Annals of Mathematical Logic<\/i>, vol. 17 (1979), pp. 227\u2013270. Zbl 0448.03025 MR 82f:03033","DOI":"10.1016\/0003-4843(79)90009-3"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Gaifman, H., \u201cModels and types of Peano's arithmetic,\" <i>Annals of Mathematical Logic<\/i>, vol. 9 (1976), pp. 223\u2013306. Zbl 0332.02058 MR 53:10577","DOI":"10.1016\/0003-4843(76)90002-4"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Kakuda, Y., \u201cThe role of a filter quantifier in set theory,\" pp. 16\u201395 in <i>Mathematical Logic and Applications<\/i>, Lecture Notes in Mathematics vol. 1388, edited by J. Shinoda et al., Springer-Verlag, Berlin, 1989. Zbl 0673.03044 MR 90m:03090","DOI":"10.1007\/BFb0083665"},{"key":"5","unstructured":"Kaufmann, M., <i>Some results in stationary logic<\/i>, PhD. dissertation, University of Wisconsin, 1978."},{"key":"6","doi-asserted-by":"publisher","unstructured":"Kaufmann, M., \u201cSet theory with a filter quantifier,\" <i>The Journal of Symbolic Logic<\/i>, vol. 48 (1983), pp. 263\u2013287. Zbl 0518.03007 MR 85d:03076","DOI":"10.2307\/2273546"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Macintyre, A., \u201cRamsey quantifiers in arithmetic,\" pp. 186\u2013210 in <i>Model Theory of Algebra and Arithmetic<\/i>, Lecture Notes in Mathematics vol. 834, edited by L. Pacholski et al., Springer-Verlag, Berlin, 1980. Zbl 0464.03031 MR 83j:03099","DOI":"10.1007\/BFb0090167"},{"key":"8","doi-asserted-by":"publisher","unstructured":"Mills, G., \u201cSubstructure lattices of models of arithmetic,\" <i>Annals of Mathematical Logic<\/i>, vol. 16 (1979), pp. 145\u2013180. Zbl 0427.03057 MR 81i:03105","DOI":"10.1016\/0003-4843(79)90007-X"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Morgenstern, C., \u201cOn generalized quantifiers in arithmetic,\" <i>The Journal of Symbolic Logic<\/i>, vol. 47 (1982), pp. 187\u2013190. Zbl 0487.03019 MR 84g:03051","DOI":"10.2307\/2273392"},{"key":"10","doi-asserted-by":"publisher","unstructured":"Schmerl, J. H., \u201cPeano arithmetic and hyper-Ramsey logic,\" <i>Transactions of the American Mathematical Society<\/i>, vol. 296 (1986), pp. 481\u2013505. Zbl 0626.03030 MR 88i:03108","DOI":"10.1090\/S0002-9947-1986-0846594-0"},{"key":"11","doi-asserted-by":"crossref","unstructured":"Schmerl, J. H., and S. G. Simpson, \u201cOn the role of the Ramsey quantifiers in first-order arithmetic,\" <i>The Journal of Symbolic Logic<\/i>, vol. 47 (1982), pp. 423\u2013,435. Zbl 0492.03015 MR 83j:03062","DOI":"10.2307\/2273152"},{"key":"12","doi-asserted-by":"publisher","unstructured":"Shelah, S., \u201cGeneralized quantifiers and compact logic,\" <i>Transactions of the American Mathematical Society<\/i>, vol. 204 (1975), pp. 342\u2013364. Zbl 0322.02010 MR 51:12510","DOI":"10.1090\/S0002-9947-1975-0376334-6"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040136916","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:39Z","timestamp":1706649159000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-36\/issue-4\/PAaa\/10.1305\/ndjfl\/1040136916.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,10,1]]},"references-count":13,"journal-issue":{"issue":"4","published-online":{"date-parts":[[1995,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040136916","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1995,10,1]]}}}