- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by M. Boffa
25 found
Order:
Disambiguations
Disambiguations:
| Maurice Boffa [15] | M. Boffa [14] |
- A Language and Axioms for Explicit Mathematics.Solomon Feferman, J. N. Crossley, Maurice Boffa, Dirk van Dalen & Kenneth Mcaloon - 1984 - Journal of Symbolic Logic 49 (1):308-311.
- On self-membered sets in Quine's set theory NF.Maurice Boffa & André Pétry - 1993 - Logique Et Analyse 141:142.
- The consistency problem for NF.M. Boffa - 1977 - Journal of Symbolic Logic 42 (2):215-220.
- The Consistency of Some 4-Stratified Subsystem of NF Including NF 3.Maurice Boffa & Paolo Casalegno - 1985 - Journal of Symbolic Logic 50 (2):407-411.
- Arithmetic and the theory of types.M. Boffa - 1984 - Journal of Symbolic Logic 49 (2):621-624.
- European meeting of the association for symbolic logic, mons, belgium, 1978.M. Boffa & P. Henrard - 1980 - Journal of Symbolic Logic 45 (2):386-414.
- Formules Σ1 en Théorie des Ensembles Sans Axiome de Fondement.Maurice Boffa - 1972 - Mathematical Logic Quarterly 18 (4‐6):93-96.No categories
- Formules Σ1 en Théorie des Ensembles Sans Axiome de Fondement.Maurice Boffa - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):93-96.No categories
- Logic Colloquium '78: Proceedings of the Colloquium Held in Mons, August 1978.Maurice Boffa, D. van Dalen & Kenneth Mcaloon - 1979 - North-Holland Pub. Co. Elsevier North-Holland, Sole Distributors for the U.S.A. And Canada.
- Logique dans l'enseignement des mathématiques.Maurice Boffa & A. Pétry (eds.) - 1998 - Bruxelles: Belgian Mathematical Society.Export citation
Bookmark - ModèLes de la théorie générale Des ensembLes, construits sur Les nombres‐ε.Maurice Boffa & Pierre Ribeaufossé - 1969 - Mathematical Logic Quarterly 15 (13‐15):239-240.
- ModèLes de la théorie générale Des ensembLes, construits sur Les nombres‐ ε.Maurice Boffa & Pierre Ribeaufossé - 1969 - Mathematical Logic Quarterly 15 (13-15):239-240.No categories
- [Omnibus Review].M. Boffa - 1985 - Journal of Symbolic Logic 50 (4):1080-1081.
- Preface.Maurice Boffa, Annalisa Marcja & Daniele Mundici - 1997 - Annals of Pure and Applied Logic 88 (2-3):93.
- Sets equipollent to their power set in NF.Maurice Boffa - 1975 - Journal of Symbolic Logic 40 (2):149-150.
- Barwise Jon and Moss Lawrence. Vicious circles. On the mathematics of non-wellfounded phenomena. CSLI lecture notes, no. 60. CSLI Publications, Stanford1996, also distributed by Cambridge University Press, New York, x + 390 pp. [REVIEW]M. Boffa - 1997 - Journal of Symbolic Logic 62 (3):1039-1040.
- C. Berline and G. Cherlin. QE rings in characteristic p. Logic year 1979–80, The University of Connecticut, USA, edited by M. Lerman, J. H. Schmerl, and R. I. Soare, Lecture notes in mathematics, vol. 859, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–31. - C. Berline and G. Cherlin. QE nilrings of prime characteristic. Bulletin de la Société Mathématique de Belgique, ser. B vol. 33 , pp. 3–17. - Chantal Berline and Gregory Cherlin. QE rings in characteristic pn. The journal of symbolic logic, vol. 48 , pp. 140–162. - D. Saracino and C. Wood. QE commutative nilrings. The journal of symbolic logic, vol. 49 , pp. 644–651. [REVIEW]M. Boffa - 1985 - Journal of Symbolic Logic 50 (4):1080-1081.
- Jean-François Pabion. Logique mathématique. Collection méthodes. Hermann, Paris1976, xxxii + 263 pp. - Marcel Guillaume. Préface. Therein, pp. xiii–xxxii. [REVIEW]M. Boffa - 1979 - Journal of Symbolic Logic 44 (2):282-283.
- Příkrý K.. The consistency of the continuum hypothesis for the first measurable cardinal. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 193–197. [REVIEW]M. Boffa - 1973 - Journal of Symbolic Logic 38 (4):652-652.
- Ronald Björn Jensen. Modelle der Mengenlehre. Lecture notes in mathematics, no. 37, Springer-Verlag, Berlin, Heidelberg, and New York, 1967, ix + 176 pp. [REVIEW]Maurice Boffa - 1975 - Journal of Symbolic Logic 40 (1):92.
- Review: Jon Barwise, Lawrence Moss, Vicious Circles. On the Mathematics of Non-Wellfounded Phenomena. [REVIEW]M. Boffa - 1997 - Journal of Symbolic Logic 62 (3):1039-1040.
- Review: Jean-Francois Pabion, Logique Mathematique. [REVIEW]M. Boffa - 1979 - Journal of Symbolic Logic 44 (2):282-283.
- Review: K. Prikry, The Consistency of the Continuum Hypothesis for the First Measurable Cardinal. [REVIEW]M. Boffa - 1973 - Journal of Symbolic Logic 38 (4):652-652.
- Review: Peter Aczel, Jon Barwise, Non-Well-founded Sets. [REVIEW]M. Boffa - 1989 - Journal of Symbolic Logic 54 (3):1111-1112.
- Review: Ronald Bjorn Jensen, Modelle der Mengenlehre. [REVIEW]Maurice Boffa - 1975 - Journal of Symbolic Logic 40 (1):92-92.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-hc2g5 uwo