18 found
Order:
Disambiguations
Michael Benedikt [34]Michael A. Benedikt [1]
See also
Michael Benedikt
University of Texas at Austin
  1. Special Issue on Tibor Scitovsky's The Joyless Economy After Twenty Years.Jeffrey Friedman, Adam McCabe, Joy Rationalism, Freedom Amartya Sen, Juliet Schor, Ronald Inglehart, Taking Commensality Seriously, Albert O. Hirschman & Michael Benedikt - 1996 - Critical Review: A Journal of Politics and Society 10 (4):471-481.
     
    Export citation  
     
    Bookmark   4 citations  
  2.  12
    Ultrafilters Which Extend Measures.Michael Benedikt - 1998 - Journal of Symbolic Logic 63 (2):638-662.
    We study classes of ultrafilters on ω defined by a natural property of the Loeb measure in the Nonstandard Universe corresponding to the ultrafilter. This class, the Property M ultrafilters, is shown to contain all ultrafilters built up by taking iterated products over collections of pairwise nonisomorphic selective ultrafilters. Results on Property M ultrafilters are applied to the construction of extensions of probability measures, and to the study of measurable reductions between ultrafilters.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  48
    Complexity, Value, and the Psychological Postulates of Economics.Michael Benedikt - 1996 - Critical Review: A Journal of Politics and Society 10 (4):551-594.
    Abstract Does the contemporary built environment?the ensemble of our humanly created surroundings?make us happy? This question prompts a consideration of the psychological dimensions of economic value, and of Tibor Scitovsky's revisions of standard economic theory. With Scitovsky as a starting point, a model of value based on modern complexity theory and a Maslow?like rendition of human needs can account for some of the more important exceptions to the law of diminished marginal utility, including those that may undermine the built environment (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  6
    Synthesis a Priori.Michael Benedikt - 2001 - In Ralph Schumacher, Rolf-Peter Horstmann & Volker Gerhardt (eds.), Kant Und Die Berliner Aufklärung: Akten des Ix. Internationalen Kant-Kongresses. Bd. I: Hauptvorträge. Bd. Ii: Sektionen I-V. Bd. Iii: Sektionen Vi-X: Bd. Iv: Sektionen Xi-Xiv. Bd. V: Sektionen Xv-Xviii. De Gruyter. pp. 426-437.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  16
    Referees for Ethics, Place and Environment: A Journal of Philosophy & Geography, Volume 8, 2005.Peder Anker, Richard Baker, Michael Benedikt, Michael Bonnett, John Bowyers, Edmunds Bunske, Anne Buttimer, Allen Carlson, Steve Corbridge & Denis Cosgrove - 2005 - Ethics, Place and Environment 8 (3):394.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. Die Gegenwartsbedeutung von Kants aufklaerender Akzeptanz und Zurueckweisung des Modells der Naturwissenschaft fuer zwischenmenschliche Verhaeltnisse: Verfehlte Beziehungen der Geisterwelt Swedenborgs.Michael Benedikt - 1997 - Poznan Studies in the Philosophy of the Sciences and the Humanities 58:31-44.
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  18
    Definability with a Predicate for a Semi-Linear Set.Michael Benedikt & H. Jerome Keisler - 2003 - Journal of Symbolic Logic 68 (1):319-351.
    We settle a number of questions concerning definability in first order logic with an extra predicate symbol ranging over semi-linear sets. We give new results both on the positive and negative side: we show that in first-order logic one cannot query a semi-linear set as to whether or not it contains a line, or whether or not it contains the line segment between two given points. However, we show that some of these queries become definable if one makes small restrictions (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  8. 2003 European Summer Meeting of the Association for Symbolic Logic Logic Colloquim'03.Michael Benedikt, Stevo Todorcevic, Alexandru Baltag, Howard Becker, Matthew Foreman, Jean-Yves Girard, Martin Grohe, Peter T. Johnstone, Simo Knuuttila & Menachem Kojman - 2004 - Bulletin of Symbolic Logic 10 (2).
  9.  7
    Finite and Algorithmic Model Theory, Edited by Javier Esparza, Christian Michaux, and Charles Steinhorn, London Mathematical Society Lecture Note Series. Cambridge University Press, 2011, 356 Pp. [REVIEW]Michael Benedikt - 2013 - Bulletin of Symbolic Logic 19 (1):112-115.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  11
    Gainesville, Florida March 10–13, 2007.Michael Benedikt, Andreas Blass, Natasha Dobrinen, Noam Greenberg, Denis R. Hirschfeldt, Salma Kuhlmann, Hannes Leitgeb, William J. Mitchell & Thomas Wilke - 2007 - Bulletin of Symbolic Logic 13 (3).
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  8
    Hierarchies of Measure-Theoretic Ultrafilters.Michael Benedikt - 1999 - Annals of Pure and Applied Logic 97 (1-3):203-219.
    We study relations between measure-theoretic classes of ultrafilters, such as the Property M ultrafilters of [4], with other well-known ultrafilter classes. We define several classes of measure theoretic ultrafilters, of which the Property M ultrafilters are the strongest. We show which containments are provable in ZFC between these measure-theoretic ultrafilters and boolean combinations of well-known ultrafilters such as the selective, semi-selective, and P-point ultrafilters. We also list some of the containment results between measure-theoretic ultrafilters and several other ultrafilter classes, such (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  8
    Language and Thought: German Approaches to Analytic Philosophy in the 18th and 19th Centuries.Michael Benedikt - 1993 - History of European Ideas 17 (5):688-690.
  13. Logical Foundations of Information Disclosure in Ontology-Based Data Integration.Michael Benedikt, Bernardo Cuenca Grau & Egor V. Kostylev - 2018 - Artificial Intelligence 262:52-95.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  6
    Reviewed Work(S): Finite and Algorithmic Model Theory by Javier Esparza; Christian Michaux; Charles Steinhorn.Michael Benedikt - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    Review by: Michael Benedikt The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 112-115, March 2013.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  11
    Towards a Characterization of Order-Invariant Queries Over Tame Graphs.Michael A. Benedikt & Luc Segoufin - 2009 - Journal of Symbolic Logic 74 (1):168-186.
    This work deals with the expressive power of logics on finite graphs with access to an additional "arbitrary" linear order. The queries that can be expressed this way are the order-invariant queries for the logic. For the standard logics used in computer science, such as first-order logic, it is known that access to an arbitrary linear order increases the expressiveness of the logic. However, when we look at the separating examples, we find that they have satisfying models whose Gaifman Graph (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16. Verdrängter Humanismus, Verzögerte Aufklärung.Michael Benedikt, Wilhelm Baum & Reinhold Knoll - 1992
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  17.  13
    Some Model Theory of Guarded Negation.Vince Bárány, Michael Benedikt & Balder ten Cate - 2018 - Journal of Symbolic Logic 83 (4):1307-1344.
    The Guarded Negation Fragment is a fragment of first-order logic that contains all positive existential formulas, can express the first-order translations of basic modal logic and of many description logics, along with many sentences that arise in databases. It has been shown that the syntax of GNFO is restrictive enough so that computational problems such as validity and satisfiability are still decidable. This suggests that, in spite of its expressive power, GNFO formulas are amenable to novel optimizations. In this article (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Transformationen der Kritischen Anthropologie: Für Michael Benedikt Zum 80. Geburtstag.Cornelius Zehetner, Michael Benedikt, Hermann Rauchenschwandtner & Birgit Zehetmayer (eds.) - 2010 - Löcker.
    Translate
     
     
    Export citation  
     
    Bookmark