Results for 'M. Boffa'

(not author) ( search as author name )
980 found
Order:
  1.  45
    The consistency problem for NF.M. Boffa - 1977 - Journal of Symbolic Logic 42 (2):215-220.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  25
    Arithmetic and the theory of types.M. Boffa - 1984 - Journal of Symbolic Logic 49 (2):621-624.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  10
    [Omnibus Review].M. Boffa - 1985 - Journal of Symbolic Logic 50 (4):1080-1081.
  4.  41
    European meeting of the association for symbolic logic, mons, belgium, 1978.M. Boffa & P. Henrard - 1980 - Journal of Symbolic Logic 45 (2):386-414.
  5.  27
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  16
    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.
  7.  3
    Review: Jean-Francois Pabion, Logique Mathematique. [REVIEW]M. Boffa - 1979 - Journal of Symbolic Logic 44 (2):282-283.
  8.  9
    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.
  9.  10
    Review: Peter Aczel, Jon Barwise, Non-Well-founded Sets. [REVIEW]M. Boffa - 1989 - Journal of Symbolic Logic 54 (3):1111-1112.
  10.  40
    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.
  11.  16
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  19
    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.
  13.  42
    The Usual Model Construction for NFU Preserves Information.M. Randall Holmes - 2012 - Notre Dame Journal of Formal Logic 53 (4):571-580.
    The usual construction of models of NFU (New Foundations with urelements, introduced by Jensen) is due to Maurice Boffa. A Boffa model is obtained from a model of (a fragment of) Zermelo–Fraenkel with Choice (ZFC) with an automorphism which moves a rank: the domain of the Boffa model is a rank that is moved. “Most” elements of the domain of the Boffa model are urelements in terms of the interpreted NFU. The main result of this paper (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  62
    Angus Macintyre, Kenneth McKenna, and Lou van den Dries. Elimination of quantifiers in algebraic structures. Advances in mathematics, vol. 47 , pp. 74–87. - L. P. D. van den Dries. A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field. Proceedings of the American Mathematical Society, vol. 79 , pp. 97–100. - Bruce I. Rose. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , pp. 92–112; Corrigendum, vol. 44 , pp. 109–110. - Chantal Berline. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , vol. 46 , pp. 56–58. - M. Boffa, A. Macintyre, and F. Point. The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture. [REVIEW]Gregory L. Cherlin - 1985 - Journal of Symbolic Logic 50 (4):1079-1080.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  10
    Deception and informed consent in studies with incognito simulated standardized patients: empirical experiences and a case study from South Africa.Benjamin Daniels, Jody Boffa, Ada Kwan & Sizulu Moyo - 2023 - Research Ethics 19 (3):341-359.
    Simulated standardized patients (SPs) are trained individuals who pose incognito as people seeking treatment in a health care setting. With the method’s increasing use and popularity, we propose some standards to adapt the method to contextual considerations of feasibility, and we discuss current issues with the SP method and the experience of consent and ethical research in international SP studies. Since a foundational discussion of the research ethics of the method was published in 2012, a growing number of studies have (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Apparent mental causation: Sources of the experience of will.Daniel M. Wegner & T. Wheatley - 1999 - American Psychologist 54:480-492.
  17. 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.
  18. The civil society argument.M. Walzer - 1995 - In Julia Stapleton (ed.), Group rights: perspectives since 1900. Bristol: Thoemmes Press.
     
    Export citation  
     
    Bookmark   13 citations  
  19.  32
    Growing explanations: historical perspectives on recent science.M. Norton Wise (ed.) - 2004 - Durham: Duke University Press.
    This collection addresses a post-WWII shift in the hierarchy of scientific explanations, where the highest goal moves from reductionism towards some ...
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  20. Truth and essence of truth in Heidegger's thought,'.M. A. Wrathall - 1993 - In Charles B. Guignon (ed.), The Cambridge Companion to Heidegger. New York: Cambridge University Press. pp. 241--267.
     
    Export citation  
     
    Bookmark   2 citations  
  21. On self-membered sets in Quine's set theory NF.Maurice Boffa & André Pétry - 1993 - Logique Et Analyse 141:142.
     
    Export citation  
     
    Bookmark   4 citations  
  22. What is a Conspiracy Theory?M. Giulia Https://Orcidorg Napolitano & Kevin Https://Orcidorg Reuter - 2021 - Erkenntnis 88 (5):2035-2062.
    In much of the current academic and public discussion, conspiracy theories are portrayed as a negative phenomenon, linked to misinformation, mistrust in experts and institutions, and political propaganda. Rather surprisingly, however, philosophers working on this topic have been reluctant to incorporate a negatively evaluative aspect when either analyzing or engineering the concept conspiracy theory. In this paper, we present empirical data on the nature of the concept conspiracy theory from five studies designed to test the existence, prevalence and exact form (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  23.  24
    Formules Σ1 en Théorie des Ensembles Sans Axiome de Fondement.Maurice Boffa - 1972 - Mathematical Logic Quarterly 18 (4‐6):93-96.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  30
    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
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  13
    Graphes Extensionnels et Axiome D'universalité.Par Maurice Boffa - 1968 - Mathematical Logic Quarterly 14 (21‐24):329-334.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  23
    Graphes Extensionnels et Axiome D'universalité.Par Maurice Boffa - 1968 - Mathematical Logic Quarterly 14 (21-24):329-334.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  24
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  42
    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
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  20
    Preface.Maurice Boffa, Annalisa Marcja & Daniele Mundici - 1997 - Annals of Pure and Applied Logic 88 (2-3):93.
  30.  49
    Sets equipollent to their power set in NF.Maurice Boffa - 1975 - Journal of Symbolic Logic 40 (2):149-150.
  31. Fatalism and the Metaphysics of Contingency.M. Oreste Fiocco - 2015 - In Steven M. Cahn & Maureen Eckert (eds.), Freedom and the Self: Essays on the Philosophy of David Foster Wallace. New York: Columbia University Press. pp. 57-92.
    Contingency is the presence of non-actualized possibility in the world. Fatalism is a view of reality on which there is no contingency. Since it is contingency that permits agency, there has traditionally been much interest in contingency. This interest has long been embarrassed by the contention that simple and plausible assumptions about the world lead to fatalism. I begin with an Aristotelian argument as presented by Richard Taylor. Appreciation of this argument has been stultified by a question pertaining to the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  3
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Logique dans l'enseignement des mathématiques.Maurice Boffa & A. Pétry (eds.) - 1998 - Bruxelles: Belgian Mathematical Society.
  34. La transformation des bujutsu en budō à l'époque Edo (1603-1867) : mythe ou réalité?Sergio Boffa - 2019 - In Pierre Bonneels & Baudouin Decharneux (eds.), Philosophie de la religion et spiritualité japonaise. Paris: Classiques Garnier.
     
    Export citation  
     
    Bookmark  
  35. Resisting procrastination: Kantian autonomy and the role of the will.M. D. White - 2010 - In Chrisoula Andreou Mark D. White (ed.), The Thief of Time: Philosophical Essays on Procrastination. Oxford University Press. pp. 216--32.
     
    Export citation  
     
    Bookmark  
  36. Does analysis of relative visual motion require two computational stages or three?M. Wright - 1996 - In Enrique Villanueva (ed.), Perception. Ridgeview. pp. 1375-1375.
     
    Export citation  
     
    Bookmark  
  37. Detecting change in angle independent of change in orientation.M. J. Wright - 1996 - In Enrique Villanueva (ed.), Perception. Ridgeview. pp. 87-87.
  38. Ferritin-like protein in bovine retina inhibits the activity of cyclic nucleotide phosphodiesterase in rod outer segments.M. G. Yefimova, I. S. Shcherbakova & N. D. Shushakova - 1996 - In Enrique Villanueva (ed.), Perception. Ridgeview. pp. 114-114.
     
    Export citation  
     
    Bookmark  
  39. Counterrevolutionary Polemics: Katechon and Crisis in de Maistre, Donoso, and Schmitt.M. Blake Wilson - 2019 - Philosophical Journal of Conflict and Violence 3 (2).
    For the theorists of crisis, the revolutionary state comes into existence through violence, and due to its inability to provide an authoritative katechon (restrainer) against internal and external violence, it perpetuates violence until it self-destructs. Writing during extreme economic depression and growing social and political violence, the crisis theorists––Joseph de Maistre, Juan Donoso Cortés, and Carl Schmitt––each sought to blame the chaos of their time upon the Janus-faced postrevolutionary ideals of liberalism and socialism by urging a return to pre-revolutionary moral (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  1
    Thermodynamics and point defects in the B2 intermetallic phase PdIn.M. Huang, W. Oates & Y. Chang - 2003 - Philosophical Magazine 83 (5):589-601.
    The X-ray and bulk densities of PdIn alloys have been determined at ambient temperature on samples annealed at 1273 and 1373 K and quenched in water-ice mixtures. From these measurements the vacancy concentrations in this intermetallic phase have been obtained as a function of In concentration at these two temperatures. In addition, a generalized thermodynamic model is presented which considers the existence of antisite and vacancy defects on both sublattices without any dilute solution approximations. This model uses three energy parameters, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  18
    Truth-Makers.Kevin Mulligan, Peter M. Simons & Barry Smith - 2007 - In Jean-Maurice Monnoyer (ed.), Metaphysics and Truthmakers. Pisctaway, NJ: Ontos Verlag. pp. 18--9.
    Reprint of paper first published in Philosophy and Phenomenological Research in 1984.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   73 citations  
  42.  5
    "Ludeweixi Fei'erbaha he Deguo gu dian zhe xue di zong jie" qian shi.M. Yü Wang - 1988 - [Yanji shi]: Yanbian ren min chu ban she.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  2
    Päälaelleen käännetty tietoisuus: ideologiakäsitteen historian pääpiirteet.Kim Weckström - 1981 - [Tampere]: Tampereen yliopisto, Tiedotusopin laitos.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Consciousness and Energy Monism.M. Woodhouse - 2001 - In David Lorimer (ed.), Thinking beyond the brain: a wider science of consciousness. Edinburgh: Floris Books.
  45.  10
    Introduction.M. H. Werner, R. Stern & J. P. Brune - 2017 - In Jens Peter Brune, Robert Stern & Micha H. Werner (eds.), Transcendental Arguments in Moral Theory. Boston: De Gruyter. pp. 1-6.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  9
    Time and incompleteness in a deductive database.M. Howard Williams & Quinzheng Kong - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 443--455.
  47.  91
    Reid on Powers and Abilities.M. Folescu - 2024 - In Sebastian Bender & Dominik Perler (eds.), Powers and Abilities in Early Modern Philosophy. Routledge. pp. 326-342.
    Early in his Essays on Intellectual Powers, Reid draws a distinction between mental power, mental operation, and mental capacity (EIP 21). To the untrained eye, these terms could probably be used interchangeably, and Reid believes this is correct, up to a point. He argues that, if we are interested in understanding exactly how the human mind works, we must use these terms with more precise meanings. This is part of his more general strategy of trying to always use the words (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  28
    Prior expectations facilitate metacognition for perceptual decision.M. T. Sherman, A. K. Seth, A. B. Barrett & R. Kanai - 2015 - Consciousness and Cognition 35 (C):53-65.
  49.  33
    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.
  50.  93
    The structure of metaphor: the way the language of metaphor works.Roger M. White - 1996 - Cambridge: Blackwell.
    This volume provides a philosophical introduction to and analysis of the study of metaphor. By proceeding from the concrete analysis of complex metaphors, White is able to identify a range of features which are incompatible with standard accounts of the way words function in metaphor.
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
1 — 50 / 980