×

Found 97 Documents (Results 1–97)

Milliken’s tree theorem and its applications: a computability-theoretic perspective. (English) Zbl 07807559

Memoirs of the American Mathematical Society 1457. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6731-9/pbk; 978-1-4704-7714-1/ebook). vi, 118 p. (2024).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computability. Randomness, reverse mathematics and hypercomputability. (Calculabilité. Aléatoire, mathématiques à rebours et hypercalculabilité.) (French) Zbl 1516.03001

Tableau Noir 107. Paris: Calvage et Mounet (ISBN 978-2-916352-96-1/hbk). xxii, 828 p. (2022).
PDFBibTeX XMLCite

The legacy of Mario Pieri in foundations and philosophy of mathematics. (English) Zbl 1464.00008

New York, NY: Birkhäuser/Springer (ISBN 978-0-8176-4822-0/hbk; 978-0-8176-4823-7/ebook). xxii, 603 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

The logical foundations of scientific theories. Languages, structures, and models. (English) Zbl 1412.03002

Routledge Studies in the Philosophy of Mathematics and Physics 1. London: Routledge (ISBN 978-1-138-68449-2/hbk; 978-1-315-53520-3/ebook). xv, 143 p. (2017).
MSC:  03-02 03B30 00A30
PDFBibTeX XMLCite
Full Text: Link

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem. (English) Zbl 1406.03039

Mem. Am. Math. Soc. 1187, vi, 106 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI Link

Emmy Noether’s wonderful theorem. 2nd revised and updated edition. (English) Zbl 1366.00009

Baltimore, MD: Johns Hopkins University Press (ISBN 978-1-4214-2267-1/pbk; 978-1-4214-2268-8/ebook). xvi, 321 p. (2017).
PDFBibTeX XMLCite

Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. (English) Zbl 1352.03004

Lecture Notes in Computer Science 10010. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). xlii, 755 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. (English) Zbl 1344.03002

Progress in Computer Science and Applied Logic 28. Basel: Birkhäuser/Springer (ISBN 978-3-319-29196-3/hbk; 978-3-319-29198-7/ebook). xii, 425 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. (English) Zbl 1331.03012

Logic in Asia: Studia Logica Library. Berlin: Springer (ISBN 978-3-662-48356-5/hbk; 978-3-662-48357-2/ebook). xv, 278 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

The natural basics of mathematics: in the spirit of Dedekind, Zermelo and Wittenberg. (Die natürlichen Grundlagen der Mathematik: im Geiste Dedekinds, Zermelos und Wittenbergs.) (German) Zbl 1402.03003

Berlin: Logos Verlag (ISBN 978-3-8325-4072-2/pbk). 90 p. (2015).
PDFBibTeX XMLCite

Slicing the truth. On the computable and reverse mathematics of combinatorial principles. (English) Zbl 1304.03001

Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 28. Hackensack, NJ: World Scientific (ISBN 978-981-4612-61-6/hbk; 978-981-4612-63-0/ebook). xv, 214 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Effective mathematics of the uncountable. (English) Zbl 1297.03006

Lecture Notes in Logic 41. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-107-01451-0/hbk; 978-1-139-02859-2/ebook). viii, 197 p. (2013).
PDFBibTeX XMLCite
Full Text: DOI

David Hilbert’s lectures on the foundations of arithmetic and logic, 1917–1933. In collaboration with Ulrich Majer and Dirk Schlimm. (English) Zbl 1275.03002

David Hilbert’s Lectures on the Foundations of Mathematics and Physics 1891–1933 3. Berlin: Springer (ISBN 978-3-540-20578-4/hbk; 978-3-540-69444-1/ebook). xxv, 1062 p. (2013).
PDFBibTeX XMLCite
Full Text: DOI

From foundations to philosophy of mathematics. An historical account of their development in the XX century and beyond. (English) Zbl 1275.03008

Newcastle upon Tyne: Cambridge Scholars Publishing (ISBN 978-1-4438-3459-9/hbk). ix, 227 p. (2012).
PDFBibTeX XMLCite

Proof mining and combinatorics. Program extraction for Ramsey’s theorem for pairs. (English) Zbl 1262.03003

Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.). 147 p. (2012).
PDFBibTeX XMLCite
Full Text: Link

Grundlagen der Mathematik. I / Foundations of mathematics. I. Part A. Prefaces and §§1–2. Edited and with a preface by Dov Gabbay, Michael Gabbay, Jörg Siekmann and Claus-Peter Wirth. Commented translation by Claus-Peter Wirth of the second German edition of 1968, including the annotation and translation of all deleted parts of the first German edition of 1934. With a chapter “Hilbert’s proof theory” by Wilfried Sieg. Dual English-German text. (German, English) Zbl 1283.03005

London: College Publications (ISBN 978-1-84890-033-2). lxiii, 170 p. (2011).
PDFBibTeX XMLCite

Metamathematical methods in geometry. Part I: An axiomatic building of Euclidean geometries. Part II: Metamathematical considerations. With a new foreword by Michael Beeson. Reprint of the 1983 original published by Springer. (Metamathematische Methoden in der Geometrie. Teil I: Ein axiomatischer Aufbau der euklidischen Geometrie. Teil II: Metamathematische Betrachtungen.) (German) Zbl 1237.51003

Bronx, NY: Ishi Press International (ISBN 978-4-87187-707-7/pbk). xvi, viii, 482 p. (2011).
PDFBibTeX XMLCite

Proof analysis. A contribution to Hilbert’s last problem. (English) Zbl 1247.03001

Cambridge: Cambridge University Press (ISBN 978-1-107-00895-3/hbk; 978-1-107-41723-6/pbk; 978-1-139-00351-3/ebook). xi, 265 p. (2011).
PDFBibTeX XMLCite
Full Text: DOI

Logic, mathematics, philosophy: vintage enthusiasms. Essays in honour of John L. Bell. (English) Zbl 1213.00060

The Western Ontario Series in Philosophy of Science 75. Berlin: Springer (ISBN 978-94-007-0213-4/hbk; 978-94-007-0214-1/ebook). xviii, 486 p. (2011).
PDFBibTeX XMLCite
Full Text: DOI

Foundational theories of classical and constructive mathematics. Based on the annual meeting of the Swiss Society for Logic and Philosophy of Science (SSLPS) on “Foundational theories of mathematics”, Freiburg, Switzerland, October 11–12, 2006. (English) Zbl 1213.03004

The Western Ontario Series in Philosophy of Science 76. Berlin: Springer (ISBN 978-94-007-0430-5/hbk; 978-94-007-0431-2/ebook). xi, 314 p. (2011).
PDFBibTeX XMLCite
Full Text: DOI

Subsystems of second order arithmetic. Paperback reprint of the 2nd ed. 2009. (English) Zbl 1205.03002

Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-15014-9/pbk). xvi, 444 p. (2010).
PDFBibTeX XMLCite

Logical foundations of proof complexity. (English) Zbl 1206.03051

Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-51729-4/hbk). xv, 479 p. (2010).
PDFBibTeX XMLCite

Subsystems of second order arithmetic. 2nd ed. (English) Zbl 1181.03001

Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-88439-6/hbk). xvi, 444 p. (2009).
PDFBibTeX XMLCite

Standard and non-standard analysis in second order arithmetic. (English) Zbl 1178.03076

Tohoku Mathematical Publications 34. Sendai: Tohoku University, Mathematical Institute (Diss.). iv, 130 p. (2009).
PDFBibTeX XMLCite
Full Text: Link

Mathematical modeling, identification and control of processes of thermal processing of materials. (Математическое моделирование, Идентификация и управление технологическими процессами тепловой обработки материалов.) (Russian) Zbl 1240.93004

Zadachi i Metody. Matematika, Mekhanika, Kibernetika 13. Kyïv: Naukova Dumka (ISBN 978-966-00-1025-7). 244 p. (2008).
PDFBibTeX XMLCite

Noether’s theorems. Invariance and conservation laws in the twentieth century. With a translation of the original article “Invariante Variationsprobleme”. With the collaboration of Laurent Meersseman. 2nd ed. (Les théorèmes de Noether. Invariance et lois de conservation au XXème siècle.) (French) Zbl 1128.01024

Histoire des Mathématiques (Palaiseau). Palaiseau: Les Éditions de l’École Polytechnique (ISBN 2-7302-1138-1/pbk). xii, 201 p. (2006).
PDFBibTeX XMLCite

Dramatic mathematics—standard infinitesimal calculus. With a foreword by Jian-xiang Lin. With a biography of the author and a postscript by Mosiang Liao. (English) Zbl 1197.26048

Hong Kong: World Technology Press (ISBN 962-8707-62-0). 374 p. (2002).
MSC:  26E35 03B30
PDFBibTeX XMLCite

A philosopher’s understanding of quantum mechanics. Possibilities and impossibilities of a modal interpretation. (English) Zbl 0960.81001

Cambridge: Cambridge University Press. xii, 295 p. (1999).
PDFBibTeX XMLCite
Full Text: DOI

An empirical theory of the number concept. (Eine empirische Theorie des Zahlbegriffs.) (German) Zbl 1073.00502

Europäische Hochschulschriften. Reihe 11, Pädagogik 791. Frankfurt/Main: Peter Lang; Koblenz: Univ. Koblenz (Diss.) (ISBN 3-631-35367-7/pbk). vi, 111 S. (1999).
MSC:  00A35 03B30
PDFBibTeX XMLCite

Sphere packings, lattices and groups. With additional contributions by E. Bannai, R. E. Borcherds, J. Leech, S. P. Norton, A. M. Odlyzko, R. A. Parker, L. Queen and B. B. Venkov. 3rd ed. (English) Zbl 0915.52003

Grundlehren der Mathematischen Wissenschaften. 290. New York, NY: Springer. lxxiv, 703 p. (1999).
PDFBibTeX XMLCite

On science, inference, information and decision-making. Selected essays in the philosophy of science. Ed. by Adam Chmielewski and Jan Woleński. (English) Zbl 0955.03010

Synthese Library. 271. Dordrecht: Kluwer Academic Publishers. xiv, 242 p. (1998).
PDFBibTeX XMLCite

Les maîtres de l’erreur: mesure et probabilité au XIXe siècle. (The masters of the error: measure and probability in the 19th century.) (French) Zbl 0923.01018

Sciences, Histoire, Société. Paris: Presses Universitaires de France. 574 p. (1997).
Reviewer: H.Grimm (Jena)
PDFBibTeX XMLCite

Frege: importance and legacy. Papers, most of which were presented at the international conference on foundational problems in Frege and modern logic, Munich, Germany, July 8–13, 1991. (English) Zbl 0953.03005

Perspectives in Analytical Philosophy. 13. Berlin: Walter de Gruyter. ix, 466 p. (1996).
PDFBibTeX XMLCite

Sentential probability logic. Origins, development, current status, and technical applications. (English) Zbl 0922.03026

Bethlehem: Lehigh University Press. London: Associated University Presses, 304 p. (1996).
PDFBibTeX XMLCite

Another idea of pragmatism. Probability theory and establishment of induction as decisive magnitude of influence in the “Illustrations of the logic of science” by Charles Sanders Peirce. (Ein anderes Bild des Pragmatismus. Wahrscheinlichkeitstheorie und Begründung der Induktion als maßgebliche Einflußgrößen in den “Illustrations of the logic of science” von Charles Sanders Peirce.) (German) Zbl 0876.03001

Philosophische Abhandlungen. 67. Frankfurt am Main: Vittorio Klostermann. 306 S. (1996).
PDFBibTeX XMLCite

The continuum. A critical examination of the foundation of analysis. Transl. from the German by Stephen Pollard and Thomas Bole. With a foreword by John Archibald Wheeler and an introduction by Stephen Pollard. Corr. repr. of the 1987 translation. (English) Zbl 0849.03001

New York, NY: Dover Publications. xxvi, 130 p. (1994).
PDFBibTeX XMLCite

Standard structures for systems of explicit mathematics (a proof-theoretic study). (Standardstrukturen für Systeme expliziter Mathematik (Eine beweistheoretische Untersuchung).) (German) Zbl 0797.03058

Münster: Univ. Münster, Math.-Naturwiss. Fak. vi, 135 S. (1993).
MSC:  03F50 03F35
PDFBibTeX XMLCite

Sphere packings, lattices and groups. With additional contributions by E. Bannai, R. E. Borcherds, J. Leech, S. P. Norton, A. M. Odlyzko, R. A. Parker, L. Queen and B. B. Venkov. 2. ed. (English) Zbl 0785.11036

Grundlehren der Mathematischen Wissenschaften. 290. New York: Springer- Verlag. xliii, 679 p. (1993).
PDFBibTeX XMLCite

Sets, graphs and numbers. A birthday salute to Vera T. Sós and András Hajnal. (English) Zbl 0925.05001

Colloquia Mathematica Societatis János Bolyai. 60. Amsterdam: North-Holland Publishing Company. 752 p. (1992).
MSC:  05-06 03B30 00B25
PDFBibTeX XMLCite

Identification of dynamical systems 2. Special methods, applications. 2., neubearb. u. erw. Aufl. (Identifikation dynamischer Systeme 2. Besondere Methoden, Anwendungen.) (German) Zbl 0768.93001

Springer-Lehrbuch. Berlin: Springer-Verlag. xxii, 336 S. (1992).
PDFBibTeX XMLCite

Grundzüge der Logik. Bd. 1: Das logische Schließen. Unter Mitwirkung von Elke Brendel und Robert Kirchner. (Foundations of logic. Vol. 1: The logical reasoning). 4. Aufl. (German) Zbl 0744.03001

Frankfurt/Main: Klostermann. 381 S. (1991).
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software