{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T12:46:19Z","timestamp":1777380379598,"version":"3.51.4"},"reference-count":20,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1994,1,1]]},"DOI":"10.1305\/ndjfl\/1040609297","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:45:51Z","timestamp":1046209551000},"source":"Crossref","is-referenced-by-count":7,"title":["On Theorems of G\u00f6del and Kreisel: Completeness and Markov's Principle"],"prefix":"10.1215","volume":"35","author":[{"given":"D. C.","family":"McCarty","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","unstructured":"Boolos, G. and R. Jeffrey, <i>Computability and logic<\/i>, Second Edition, Cambridge University Press, New York. Zbl 0298.02003 MR 82d:03001"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Cutland, N., <i>Computability<\/i>, Cambridge University Press, New York, 1980. Zbl 0448.03029 MR 81i:03001","DOI":"10.1017\/CBO9781139171496"},{"key":"3","unstructured":"Dummett, M., <i>Elements of Intuitionism<\/i>, Clarendon Press, Oxford, 1977. Zbl 0358.02032 MR 58 #16194"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Friedman, H., \u201cClassically and intuitionistically provably recursive functions,\u201d pp. 21\u201327 in <i>Higher Set Theory<\/i>, edited by G. M\u00fcller and D.S. Scott, Springer-Verlag, New York, 1978. Zbl 0396.03045 MR 80b:03093","DOI":"10.1007\/BFb0103100"},{"key":"5","unstructured":"G\u00f6del, K., \u201cOn the completeness of the calculus of logic,\u201d pp. 61\u2013101 in <i>Collected Works, Volume I, Publications 1929\u20131936<\/i>, edited by S. Feferman <i>et al.<\/i>, Oxford University Press, New York, 1986."},{"key":"6","unstructured":"G\u00f6del, K., \u201cOn the completeness of the calculus of logic,\u201d p. 125 in <i>Collected Works, Volume I, Publications 1929\u20131936<\/i>, edited by S. Feferman <i>et al.<\/i>, Oxford University Press, New York, 1986."},{"key":"7","unstructured":"G\u00f6del, K., \u201cOn intuitionistic arithmetic and number theory,\u201d pp. 286\u2013295 in <i>Collected Works, Volume I, Publications 1929\u20131936<\/i>, edited by S. Feferman <i>et al.<\/i>, Oxford University Press, New York, 1986."},{"key":"8","unstructured":"Heyting, A., \u201cDie formalen Regeln der intuitionistischen Logik,\u201d <i>Sitzungsberichte der Preussischen Akademie der Wissenschaften, physikalisch-mathematische Klasse<\/i>, (1930), pp. 42\u201356."},{"key":"9","unstructured":"Heyting, A., \u201cDie formalen Regeln der intuitionistischen Mathematik II,\u201d <i>Sitzungsberichte der Preussischen Akademie der Wissenschaften, physikalisch-mathematische Klasse<\/i>, (1930), pp. 57\u201371."},{"key":"10","unstructured":"Heyting, A., \u201cDie formalen Regeln der intuitionistischen Mathematik III,\u201d <i>Sitzungsberichte der Preussischen Akademie der Wissenschaften, physikalisch-mathematische Klasse<\/i>, (1930), pp. 158\u2013169."},{"key":"11","unstructured":"Kolmogorov, A.N., \u201cOn the principle of the excluded middle,\u201d pp. 414\u2013437 in <i>From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879\u20131931<\/i>, edited by J. van Heijenoort, Harvard University Press, Cambridge, 1977."},{"key":"12","doi-asserted-by":"crossref","unstructured":"Kreisel, G., \u201cElementary completeness properties of intuitionistic logic with a note on negations of prenex formulae,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 23 (1958), pp. 317\u2013330. Zbl 0086.24601 MR 21 #2591","DOI":"10.2307\/2964291"},{"key":"13","unstructured":"Kreisel, G., \u201cThe nonderivability of $\\neg (x)A(x)\\rightarrow (\\exists x)\\neg A(x)$, $A$ primitive recursive, in intuitionistic formal systems (abstract),\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 23 (1958), pp. 456\u2013457."},{"key":"14","doi-asserted-by":"publisher","unstructured":"Kreisel, G., \u201cOn weak completeness of intuitionistic predicate logic,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 27 (1962), pp. 139\u2013158. Zbl 0117.01005 MR 28 #5000","DOI":"10.2307\/2964110"},{"key":"15","unstructured":"Kreisel, G., \u201cHilbert's Programme,\u201d pp. 157\u2013183 in <i>Philosophy of Mathematics, Selected Readings<\/i>, edited by P. Benacerraf and H. Putnam, Prentice-Hall, Englewood Cliffs, 1964. Zbl 0090.01004 MR 21 #5550"},{"key":"16","unstructured":"Kreisel, G., \u201cMathematical logic,\u201d pp. 95\u2013195 in <i>Lectures in Modern Mathematics III<\/i>, edited by T.L. Saaty, Wiley and Sons, New York, 1965. Zbl 0147.24703 MR 31 #2124"},{"key":"17","doi-asserted-by":"crossref","unstructured":"M<u>c<\/u>Carty, D.C., \u201cMarkov's Principle, isols and Dedekind-finite sets,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 53 (1988), pp. 1042\u20131069. Zbl 0671.03037 MR 90c:03056","DOI":"10.1017\/S0022481200027924"},{"key":"18","doi-asserted-by":"crossref","unstructured":"Smorynski, C., \u201cApplications of Kripke models,\u201d pp. 324\u2013391 in <i>Metamathematical Investigation of Intuitionistic Arithmetic and Analysis<\/i>, edited by A.S. Troelstra, Springer-Verlag, New York, 1973. MR 56 #2795","DOI":"10.1007\/BFb0066744"},{"key":"19","doi-asserted-by":"crossref","unstructured":"Troelstra, A.S., <i>Metamathematical Investigation of Intuitionistic Arithmetic and Analysis<\/i>, Springer-Verlag, New York, 1973. Zbl 0275.02025 MR 48 #3699","DOI":"10.1007\/BFb0066739"},{"key":"20","unstructured":"Troelstra, A.S. and D. van Dalen, <i>Constructivism in Mathematics, An Introduction, Volume II<\/i>, North-Holland, New York, 1988. Zbl 0661.03047"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040609297","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:06Z","timestamp":1706649126000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-35\/issue-1\/On-Theorems-of-G%c3%b6del-and-Kreisel--Completeness-and-Markovs\/10.1305\/ndjfl\/1040609297.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,1,1]]},"references-count":20,"journal-issue":{"issue":"1","published-online":{"date-parts":[[1994,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040609297","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1994,1,1]]}}}