Found 37 Documents (Results 1–37)
Comparing material and structural set theories. (English) Zbl 1412.18004
Reviewer: Hirokazu Nishimura (Tsukuba)
Realizability and existence property of a constructive set theory with types. (English) Zbl 1432.03130
Zhao, Xishun (ed.) et al., Proceedings of the 13th Asian logic conference, ALC 2013, Guangzhou, China, September 16–20, 2013. Hackensack, NJ: World Scientific. 136-155 (2015).
Paradox and potential infinity. (English) Zbl 1277.03059
Reviewer: Marco Benini (Buccinasco)
Regular opens in constructive topology and a representation theorem for overlap algebras. (English) Zbl 1270.03131
The Gödel hierarchy and reverse mathematics. (English) Zbl 1223.03006
Feferman, Solomon (ed.) et al., Kurt Gödel. Essays for his centennial. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). Lecture Notes in Logic 33, 109-127 (2010).
Reviewer: Jeffry L. Hirst (Boone)
The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900–1940. (English) Zbl 1237.03005
Oxford: Oxford University Press (ISBN 978-0-19-954653-4/hbk). x, 618 p. (2010).
Reviewer: Chris Pincock (Columbia)
The predicative Frege hierarchy. (English) Zbl 1172.03005
Reviewer: Roman Murawski (Poznań)
The Zariski spectrum as a formal geometry. (English) Zbl 1154.03038
Reviewer: Josef Berger (München)
Pretopologies and a uniform presentation of sup-lattices, quantales and frames. (English) Zbl 1077.03036
Fixing Frege. (English) Zbl 1089.03001
Princeton Monographs in Philosophy. Princeton, NJ: Princeton University Press (ISBN 0-691-12231-8/hbk). x, 257 p. (2005).
Reviewer: Volker Peckhaus (Paderborn)
Inductively generated formal topologies. (English) Zbl 1070.03041
Reviewer: Maria Emilia Maietti (Padova)
Predicativity: The outer limits. (English) Zbl 1019.03038
Sieg, Wilfried (ed.) et al., Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Natick, MA: A K Peters. Lect. Notes Log. 15, 130-136 (2002).
Reviewer: Jeffry L.Hirst (Boone)
Relationships between constructive, predicative and classical systems of analysis. (English) Zbl 1017.03036
Hendricks, Vincent F. (ed.) et al., Proof theory. History and philosophical significance. Papers from the conference, Roskilde, Denmark, October 31-November 1, 1997. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 292, 221-236 (2002).
Reviewer: Zheng Xizhong (Cottbus)
Continuous domains as formal spaces. (English) Zbl 0994.06005
Reviewer: Peter T.Johnstone (Cambridge)
Beyond definitionism – but not too far beyond. (English) Zbl 0922.03012
Schirn, Matthias (ed.), The philosophy of mathematics today. Papers from a conference, Munich, Germany, June 28–July 4, 1993. Oxford: Clarendon Press. 215-225 (1998).
Reviewer: R.Murawski (Poznań)
Gödel’s functional (“Dialectica”) interpretation. (English) Zbl 0913.03053
Buss, Samuel R. (ed.), Handbook of proof theory. Amsterdam: Elsevier. Stud. Logic Found. Math. 137, 337-405 (1998).
Reviewer: A.Cantini (Firenze)
Husserl’s phenomenology and Weyl’s predictivism. (English) Zbl 0927.01014
Reviewer: V.Peckhaus (Erlangen)
Logical frameworks for truth and abstraction. An axiomatic study. (English) Zbl 0860.03015
Studies in Logic and the Foundations of Mathematics. 135. Amsterdam: North-Holland. xii, 461 p. (1996).
Reviewer: K.Nour (Le Bourget du Lac)
Impredicative definitions and reverse mathematics. (English) Zbl 0888.00003
Greffe, Jean-Louis (ed.) et al., Henri Poincaré. Science et philosophie: congrès international, mai 14-18, 1994, Nancy, France. Berlin: Akademie Verlag. 551-557 (1996).
Reviewer: T.Koetsier (Amsterdam)
Poincaré and paradox. (English) Zbl 0853.01026
Greffe, Jean-Louis (ed.) et al., Henri Poincaré. Science et philosophie: congrès international, mai 14-18, 1994, Nancy, France. Berlin: Akademie Verlag. 528-539 (1996).
Reviewer: J.Mackenzie (Sydney)
Set theory. An operational approach. (English) Zbl 0945.03066
Reading: Gordon and Breach. xvi, 279 p. (1996).
The consistency of predicative fragments of Frege’s Grundgesetze der Arithmetik. (English) Zbl 0876.03032
Reviewer: S.Gottwald (Leipzig)
Levels of truth. (English) Zbl 0836.03033
MSC:
03F35
Proof-theoretic investigations on Kruskal’s theorem. (English) Zbl 0786.03042
Reviewer: H.Pfeiffer (Hannover)
Quantification theory, logic and language (On the proposal of the “Selected essays” of Jean van Heijenoort). (Spanish. English summary) Zbl 0755.03004
Arithmetical set theory. (English) Zbl 0739.03028
Supplements to “A predicative approach to nonstandard mathematics”. (English) Zbl 0654.03055
Reviewer: P.Zahn
Ontological economy: substitutional quantification and mathematics. (English) Zbl 0549.03002
Clarendon Library of Logic and Philosophy. Oxford: Oxford University Press. VII, 166 p. (1980).
Gödel’s theorem and the continuum hypothesis. Anthology, preface and transl. from several English orig. by Manuel Lourenco. (O teorema de Gödel e a hipotese do continuo.) (Portuguese) Zbl 0486.03005
Lisboa: Fundacao Calouste Gulbenkian. XCV, 900 p. (1979).
Filter Results by …
Document Type
- Journal Articles (23)
- Collection Articles (8)
- Books (6)
all
top 5
Author
- Feferman, Solomon (3)
- Kachapova, Farida (3)
- Zahn, Peter (3)
- Cantini, Andrea (2)
- Sambin, Giovanni (2)
- Simpson, Stephen G. (2)
- Vickers, Steven (2)
- Avigad, Jeremy (1)
- Badesa, Calixto (1)
- Battilotti, Giulia (1)
- Burgess, John P. (1)
- Ciraulo, Francesco (1)
- Cohen, Paul Joseph (1)
- Coquand, Thierry (1)
- da Silva, Jairo José (1)
- de Jong, Tom J. (1)
- Dummett, Michael Anthony Eardley (1)
- Gödel, Kurt (1)
- Gottlieb, Dale (1)
- Heck, Richard Kimberly (1)
- Hellman, Geoffrey (1)
- Hötzel Escardó, Martín (1)
- Lourenco, Manuel (1)
- Maietti, Maria Emilia (1)
- Mancosu, Paolo (1)
- Maschio, Samuele (1)
- McCarty, Charles (1)
- Murawski, Roman (1)
- Negri, Sara (1)
- Padilla Gálvez, Jesús (1)
- Rathjen, Michael (1)
- Ryckman, Thomas A. (1)
- Sanchis, Luis Elpidio (1)
- Schuster, Peter Michael (1)
- Shulman, Michael A. (1)
- Simmons, Keith (1)
- Smith, Jan M. (1)
- Strauss, Paul (1)
- Turing, Alan Mathison (1)
- Valentini, Silvio (1)
- Visser, Albert (1)
- Weiermann, Andreas (1)
- Zach, Richard (1)
all
top 5
Serial
- Ann. Pure Appl. Logic (8)
- Stud. Log. (2)
- Z. Math. Logik Grundlagen Math. (2)
- J. Philos. Log. (1)
- J. Symb. Log. (1)
- Notre Dame J. Formal Logic (1)
- Synthese (1)
- Theor. Comput. Sci. (1)
- Hist. Philos. Log. (1)
- Mod. Log. (1)
- Math. Struct. Comput. Sci. (1)
- Math. Log. Q. (1)
- Australas. J. Log. (1)
- Stud. Logic Found. Math. (1)
- Log. Methods Comput. Sci. (1)
Biographic Reference
- Poincaré, Henri (1)
- Weyl, Hermann (1)