{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T08:17:27Z","timestamp":1711441047172},"reference-count":34,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2000,10,1]]},"DOI":"10.1305\/ndjfl\/1038336880","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T20:27:10Z","timestamp":1046204830000},"source":"Crossref","is-referenced-by-count":37,"title":["Frege Meets Dedekind: A Neologicist Treatment of Real Analysis"],"prefix":"10.1215","volume":"41","author":[{"given":"Stewart","family":"Shapiro","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"20","doi-asserted-by":"publisher","unstructured":"Heck, R. G., Jr., \"Finitude and H\"ume's Principle, Journal of Philosophical Logic<\/i>, vol. 26 (1997), pp. 589\u2013617.","DOI":"10.1023\/A:1004299720847"},{"key":"30","unstructured":"Wright, C., Frege's C<\/i>onception of Numbers as Objects, Aberdeen University Press, Aberdeen, 1983."},{"key":"34","doi-asserted-by":"crossref","unstructured":"Wright, C., and B. Hale, \"Implicit definition and the a priori\", pp. 286\u2013319 in New E<\/i>ssays on the a Priori, edited by P. Boghossian and C. Peacocke, Oxford University Press, Oxford, 2000.","DOI":"10.1093\/0199241279.003.0012"},{"key":"32","doi-asserted-by":"publisher","unstructured":"Wright, C., \u201cIs Hume's Principle analytic?\u201d Notre Dame Journal of Formal Logic<\/i>, vol. 40 (1999), pp. 6\u201330.","DOI":"10.1305\/ndjfl\/1039096303"},{"key":"17","doi-asserted-by":"publisher","unstructured":"Goldfarb, W. D., \"Logic in the twenties: T\"he nature of the quantifier, The Journal of Symbolic Logic<\/i>, vol. 44 (1979), pp. 351\u201368.","DOI":"10.2307\/2273128"},{"key":"28","doi-asserted-by":"publisher","unstructured":"van Heijenoort, J., \"Logic as calculus and logic as language\", Synthese<\/i>, vol. 17 (1967), pp. 324\u201330.","DOI":"10.1007\/BF00485036"},{"key":"1","unstructured":"Boolos, G., \"The consistency of F\"rege's F<\/i>oundations of Arithmetic, pp. 3\u201320 in On B<\/i>eing and Saying: Essays in Honor of Richard Cartwright, The MIT Press, Cambridge, 1987."},{"key":"2","doi-asserted-by":"crossref","unstructured":"Boolos, G., \"Iteration again\", Philosophical Topics<\/i>, vol. 17 (1989), pp. 5\u201321.","DOI":"10.5840\/philtopics19891721"},{"key":"3","unstructured":"Boolos, G., \u201cIs Hume's Principle analytic?\u201d pp. 245\u201361 in L<\/i>anguage, Thought, and Logic, edited by Jr. Heck, R. G., Oxford University Press, Oxford, 1997."},{"key":"4","unstructured":"Clark, P., \"Indefinite extensibility and set theory\", Talk to Arch\u00e9 Workshop on Abstraction, University of St. Andrews, 2000."},{"key":"5","doi-asserted-by":"publisher","unstructured":"Cook, R. T., \"The state of the economy: N\"eo-logicism and inflation, Philosophia Mathematica. Series 3<\/i>, vol. 10 (2002), pp. 43\u201366.","DOI":"10.1093\/philmat\/10.1.43"},{"key":"6","unstructured":"Dedekind, R., \"Continuity and irrational numbers\", pp. 1\u201327 in Essays on the T<\/i>heory of Numbers, edited by W. W. Beman, Dover Publications Inc., New York, 1963."},{"key":"7","unstructured":"Dedekind, R., \"The nature and meaning of numbers\", pp. 31\u2013115 in Essays on the T<\/i>heory of Numbers, edited by W. W. Beman, Dover Publications Inc., New York, 1963."},{"key":"8","unstructured":"Dummett, M., The S<\/i>eas of Language, The Clarendon Press, Oxford, 1993."},{"key":"9","unstructured":"Field, H., Science W<\/i>ithout Numbers. A Defence of Nominalism, Princeton University Press, Princeton, 1980."},{"key":"10","doi-asserted-by":"crossref","unstructured":"Fine, K., \"The limits of abstraction\", pp. 503\u2013629 in The P<\/i>hilosophy of Mathematics Today, Oxford University Press, New York, 1998.","DOI":"10.1093\/oso\/9780198236542.003.0021"},{"key":"11","unstructured":"Frege, G., Begriffsschrift, E<\/i>ine der arithmetischen Nachgebildete Formelsprache des Reinen Denkens, Louis Nebert, Halle, 1879."},{"key":"12","unstructured":"Frege, G., \"\u00dcber die G\"rundlagen der Geometrie, Jahresbericht der Mathematiker-Vereinigung<\/i>, vol. 12 (1903), pp. 319\u201324, 368\u201375."},{"key":"13","unstructured":"Frege, G., \"\u00dcber die G\"rundlagen der Geometrie, Jahresbericht der Mathematiker-Vereinigung<\/i>, vol. 15 (1906), pp. 293\u2013309, 377\u2013403, 423\u201330."},{"key":"14","unstructured":"Frege, G., Die G<\/i>rundlagen der Arithmetik, Philosophical Library, New York, 1950."},{"key":"15","unstructured":"Frege, G., Grundgesetze der A<\/i>rithmetik I, Georg Olms Verlagsbuchhandlung, Hildesheim, 1962."},{"key":"16","unstructured":"Frege, G., On the F<\/i>oundations of Geometry and Formal Theories of Arithmetic, Yale University Press, New Haven, 1971."},{"key":"18","doi-asserted-by":"publisher","unstructured":"Hale, B., \"Reals by abstraction\", Philosophia Mathematica, Series III<\/i>, vol. 8 (2000), pp. 100\u2013123.","DOI":"10.1093\/philmat\/8.2.100"},{"key":"19","doi-asserted-by":"crossref","unstructured":"Hale, B., and C. Wright, \"To bury C\"aesar..., pp. 335\u201396 in The R<\/i>eason's Proper Study, Oxford University Press, Oxford, 2001.","DOI":"10.1093\/0198236395.003.0015"},{"key":"21","doi-asserted-by":"publisher","unstructured":"Ramsey, F., \"The foundations of mathematics\", Proceedings of the London Mathematical Society<\/i>, vol. 25 (1925), pp. 338\u201384.","DOI":"10.1112\/plms\/s2-25.1.338"},{"key":"22","unstructured":"Russell, B., Introduction to M<\/i>athematical Philosophy, 2d edition, Dover Publications Inc., New York, 1993."},{"key":"23","unstructured":"Shapiro, S., Foundations W<\/i>ithout Foundationalism. A Case for Second-Order Logic, The Clarendon Press, Oxford, 1991."},{"key":"24","unstructured":"Shapiro, S., Philosophy of M<\/i>athematics: Structure and Ontology, Oxford University Press, New York, 1997."},{"key":"25","doi-asserted-by":"publisher","unstructured":"Shapiro, S., and A. Weir, \"New V\", ZF, and abstraction, Philosophia Mathematica, Series III<\/i>, vol. 7 (1999), pp. 293\u2013321.","DOI":"10.1093\/philmat\/7.3.293"},{"key":"26","unstructured":"Shapiro, S., Thinking A<\/i>bout Mathematics: The Philosophy of Mathematics, Oxford University Press, Oxford, 2000."},{"key":"27","doi-asserted-by":"publisher","unstructured":"Shapiro, S., \"Prolegomenon to any future neo-logicist set theory: E\"xtensionality and indefinite extensibility, forthcoming in British Journal for the Philosophy of Science<\/i>.","DOI":"10.1093\/bjps\/54.1.59"},{"key":"29","unstructured":"Weir, A., \u201cNeo-Fregeanism: An embarrassment of riches?\u201d Talk to Arch\u00e9 workshop on abstraction, University of St. Andrews, 2000."},{"key":"31","unstructured":"Wright, C., \"On the philosophical significance of F\"rege's theorem, pp. 201\u201344 in Language, T<\/i>hought, and Logic, edited by Jr.,R. G. Heck, Oxford University Press, Oxford, 1997."},{"key":"33","doi-asserted-by":"crossref","unstructured":"Wright, C., \"Neo-F\"regean foundations for real analysis: Some reflections on Frege's Constraint, Notre Dame Journal of Formal Logic<\/i>, vol. 41 (2000), pp. 317\u201334.","DOI":"10.1305\/ndjfl\/1038336879"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1038336880","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:55:42Z","timestamp":1706648142000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-41\/issue-4\/Frege-Meets-Dedekind-A-Neologicist-Treatment-of-Real-Analysis\/10.1305\/ndjfl\/1038336880.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,10,1]]},"references-count":34,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2000,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1038336880","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2000,10,1]]}}}