Results for 'Hannes Diener'

382 found
Order:
  1.  15
    Sequences of Real Functions on [0, 1] in Constructive Reverse Mathematics.Hannes Diener & Iris Loeb - 2009 - Annals of Pure and Applied Logic 157 (1):50-61.
    We give an overview of the role of equicontinuity of sequences of real-valued functions on [0,1] and related notions in classical mathematics, intuitionistic mathematics, Bishop’s constructive mathematics, and Russian recursive mathematics. We then study the logical strength of theorems concerning these notions within the programme of Constructive Reverse Mathematics. It appears that many of these theorems, like a version of Ascoli’s Lemma, are equivalent to fan-theoretic principles.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2.  13
    The Pseudocompactness of [0.1] Is Equivalent to the Uniform Continuity Theorem.Douglas Bridges & Hannes Diener - 2007 - Journal of Symbolic Logic 72 (4):1379 - 1384.
    We prove constructively that, in order to derive the uniform continuity theorem for pointwise continuous mappings from a compact metric space into a metric space, it is necessary and sufficient to prove any of a number of equivalent conditions, such as that every pointwise continuous mapping of [0, 1] into R is bounded. The proofs are analytic, making no use of, for example, fan-theoretic ideas.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  15
    The Anti-Specker Property, Positivity, and Total Boundedness.Douglas Bridges & Hannes Diener - 2010 - Mathematical Logic Quarterly 56 (4):434-441.
    Working within Bishop-style constructive mathematics, we examine some of the consequences of the anti-Specker property, known to be equivalent to a version of Brouwer's fan theorem. The work is a contribution to constructive reverse mathematics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  13
    A Constructive Treatment of Urysohn's Lemma in an Apartness Space.Douglas Bridges & Hannes Diener - 2006 - Mathematical Logic Quarterly 52 (5):464-469.
    This paper is dedicated to Prof. Dr. Günter Asser, whose work in founding this journal and maintaining it over many difficult years has been a major contribution to the activities of the mathematical logic community.At first sight it appears highly unlikely that Urysohn's Lemma has any significant constructive content. However, working in the context of an apartness space and using functions whose values are a generalisation of the reals, rather than real numbers, enables us to produce a significant constructive version (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  2
    Generalising Compactness.Hannes Diener - 2008 - Mathematical Logic Quarterly 54 (1):49-57.
    Working within the framework of Bishop's constructive mathematics, we will show that it is possible to define compactness in a more general setting than that of uniform spaces. It is also shown that it is not possible to do this in a topological space.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  6
    Bishop's Lemma.Hannes Diener & Matthew Hendtlass - 2018 - Mathematical Logic Quarterly 64 (1-2):49-54.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  10
    Reclassifying the Antithesis of Specker’s Theorem.Hannes Diener - 2012 - Archive for Mathematical Logic 51 (7-8):687-693.
    It is shown that a principle, which can be seen as a constructivised version of sequential compactness, is equivalent to a form of Brouwer’s fan theorem. The complexity of the latter depends on the geometry of the spaces involved in the former.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  4
    Preface.Dieter Spreen, Hannes Diener & Vasco Brattka - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  4
    Principles Weaker Than BD-N.Robert S. Lubarsky & Hannes Diener - 2013 - Journal of Symbolic Logic 78 (3):873-885.
  10.  3
    Contents.Dieter Spreen, Hannes Diener & Vasco Brattka - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  3
    Index.Dieter Spreen, Hannes Diener & Vasco Brattka - 2014 - In Dieter Spreen, Hannes Diener & Vasco Brattka (eds.), Logic, Computation, Hierarchies. De Gruyter. pp. 411-414.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  2
    Separating the Fan Theorem and its Weakenings.Robert S. Lubarsky & Hannes Diener - 2014 - Journal of Symbolic Logic 79 (3):792-813.
    Varieties of the Fan Theorem have recently been developed in reverse constructive mathematics, corresponding to different continuity principles. They form a natural implicational hierarchy. Some of the implications have been shown to be strict, others strict in a weak context, and yet others not at all, using disparate techniques. Here we present a family of related Kripke models which separates all of the as yet identified fan theorems.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  5
    Logic, Computation, Hierarchies.Dieter Spreen, Hannes Diener & Vasco Brattka - unknown
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. Cultural Influences on the Relation Between Pleasant Emotions and Unpleasant Emotions: Asian Dialectic Philosophies or Individualism-Collectivism?Ulrich Schimmack, Shigehiro Oishi & Ed Diener - 2002 - Cognition and Emotion 16 (6):705-719.
  15.  14
    An Experience Sampling and Cross-Cultural Investigation of the Relation Between Pleasant and Unpleasant Affect.Christie Napa Scollon, Ed Diener, Shigehiro Oishi & Robert Biswas-Diener - 2005 - Cognition and Emotion 19 (1):27-52.
  16.  3
    ENHANCE: Evidence for the Efficacy of a Comprehensive Intervention Program to Promote Subjective Well-Being.Samantha J. Heintzelman, Kostadin Kushlev, Lesley D. Lutes, Derrick Wirtz, Jacqueline M. Kanippayoor, Damian Leitner, Shigehiro Oishi & Ed Diener - forthcoming - Journal of Experimental Psychology: Applied.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  2
    #MeToo and Lessons in Stakeholder Responsibility.Keith William Diener & Emmanuel Small - 2019 - Business and Society Review 124 (4):449-465.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18. In Defense of Happiness.Pelin Kesebir & Edward Diener - 2008 - In Luigino Bruni, Flavio Comim & Maurizio Pugno (eds.), Capabilities and Happiness. Oxford University Press. pp. 60--80.
     
    Export citation  
     
    Bookmark   2 citations  
  19. International Differences in Well Being.Ed Diener, Daniel Kahneman & John Helliwell - 2010 - Oxford University Press USA.
    This book draws together the latest work from scholars around the world using subjective well-being data to understand and compare well-being across countries and cultures. Starting from many different vantage points, the authors reached a consensus that many measures of subjective well-being, ranging from life evaluations through emotional states, based on memories and current evaluations, merit broader collection and analysis. Using data from the Gallup World Poll, the World Values Survey, and other internationally comparable surveys, the authors document wide divergences (...)
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  20.  13
    Cultural Dimensions, Socioeconomic Development, Climate, and Emotional Hedonic Level.Nekane Basabe, Dario Paez, Jose Valencia, Jose Luis Gonzalez, Bernard Rimé & Ed Diener - 2002 - Cognition and Emotion 16 (1):103-125.
  21.  22
    Participatory Improvement of a Template for Informed Consent Documents in Biobank Research - Study Results and Methodological Reflections.Bossert Sabine, Kahrass Hannes, Heinemeyer Ulrike, Prokein Jana & Strech Daniel - 2017 - BMC Medical Ethics 18 (1):78.
    For valid informed consent, it is crucial that patients or research participants fully understand all that their consent entails. Testing and revising informed consent documents with the assistance of their addressees can improve their understandability. In this study we aimed at further developing a method for testing and improving informed consent documents with regard to readability and test-readers’ understanding and reactions. We tested, revised, and retested template informed consent documents for biobank research by means of 11 focus group interviews with (...)
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  32
    On the Transitive Hull of a Κ-Narrow Relation.Karl-Heinz Diener & K. -H. Diener - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):387-398.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  31
    Bibliographie de l'histoire de Belgique, 1969. — Bibliografie van de geschiedenis van België, 1969.Jean Dhondt, Romain Van Eenoo, Andrée Scufflaire, J. Bovesse, M. -E. Dumont, Etienne Hélin, R. Petit, Denise Van Derveeghde, Walter Prevenier, Chr Piérard, L. Danhieux, C. Triaille-Closset, M. -J. Tits-Dieuaide, J. Verhelst, U. Vermeulen, J. Hannes, M. L. Warnotte & H. Gaus - 1970 - Revue Belge de Philologie Et D’Histoire 48 (4):1255-1352.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Aronowicz, Annette (1998) Jews and Christmas on Time and Eternity: Charles Péguy's Portrait of Bernard-Lazard. Standford, CA: Stanford University Press, 185 Pp. Cole-Turner, Ronald, Ed.(1997) Human Cloning: Religious Responses. Louisville, KY: Westminster John Knox Press, 151 Pp. [REVIEW]Paul W. Diener, Louis DuPré, James C. Edwards, Ronald L. Farmer, Michael Gelven, Mary C. Grey, Colin E. Gunton, Clark T.&T. & Larry A. Hickman - 1998 - International Journal for Philosophy of Religion 44:190-192.
     
    Export citation  
     
    Bookmark  
  25.  30
    A Remark on Ascending Chain Conditions, the Countable Axiom of Choice and the Principle of Dependent Choices.Karl-Heinz Diener - 1994 - Mathematical Logic Quarterly 40 (3):415-421.
    It is easy to prove in ZF− that a relation R satisfies the maximal condition if and only if its transitive hull R* does; equivalently: R is well-founded if and only if R* is. We will show in the following that, if the maximal condition is replaced by the chain condition, as is often the case in Algebra, the resulting statement is not provable in ZF− anymore . More precisely, we will prove that this statement is equivalent in ZF− to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. Well-Being (Subjective), Psychology Of.E. Diener - 2001 - In N. J. Smelser & B. Baltes (eds.), International Encyclopedia of the Social and Behavioral Sciences. pp. 16451--4.
  27.  19
    Einfache Beweise Für Die Eindeutige Zerlegbarkeit Von Ausdrücken Endlicher und Unendlicher Sprachen.Karl-Heinz Diener - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (3):211-234.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  23
    A Nietzschean Justification of Legal Realism.Keith William Diener - 2013 - Open Ethics Journal 7 (1):1-8.
  29.  20
    Bibliographie de l'Histoire de Belgique — Bibliografie van de Geschiedenis van België. 1971.Jean Dhondt, Romain Van Eenoo, Andrée Scufflaire, J. Bovesse, M. -E. Dumont, Etienne Hélin, R. Petit, Denise Van Derveeghde, Walter Prevenier, L. Danhieux, C. Triaille-Closset, M. -J. Tits-Dieuaide, J. Verhelst, U. Vermeulen, J. Hannes, M. L. Warnotte, H. Gaus, Els Witte & L. Kongs - 1972 - Revue Belge de Philologie Et D’Histoire 50 (4):1145-1240.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  7
    Brave New World: A Proposal for Institutional Investors.Sharon Hannes - 2015 - Theoretical Inquiries in Law 16 (1):245-266.
    The purpose of this Article is to consider a novel framework for institutional shareholders’ activism in the United States. This new activism framework would be aimed at improving, at minimal costs, the performance of the portfolio companies in which institutional shareholders invest. The Article begins by laying out this new activism framework and then compares the proposed framework with the prevalent mode of activism through hedge funds. The Article concludes with a discussion of certain implementation challenges, and calls for future (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  7
    Images of Organizations and Interfirm Externalities: A Comment on Rubin.Sharon Hannes - 2005 - Theoretical Inquiries in Law 6 (2):391-412.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  16
    On the Predecessor Relation in Abstract Algebras.Karl-Heinz Diener - 1993 - Mathematical Logic Quarterly 39 (1):492-514.
    We show the existence of a high r. e. degree bounding only joins of minimal pairs and of a high2 nonbounding r. e. degree. MSC: 03D25.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  5
    Ethics in Social Science: A Long Way to GoEthics in Social and Behavioral ResearchThe Ethics of Social Intervention.Harold Orlans, Edward Diener, Rick Crandall, Gordon Bermant, Herbert C. Kelman & Donald P. Warwick - 1979 - Hastings Center Report 9 (3):42.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  14
    On Constructing Infinitary Languages Lα Β Without the Axiom of Choice.Karl-Heinz Diener - 1983 - Mathematical Logic Quarterly 29 (6):357-376.
  35.  14
    On the Transitive Hull of a Κ‐Narrow Relation.Karl‐Heinz Diener & K.‐H. Diener - 1992 - Mathematical Logic Quarterly 38 (1):387-398.
    We will prove in Zermelo-Fraenkel set theory without axiom of choice that the transitive hull R* of a relation R is not much “bigger” than R itself. As a measure for the size of a relation we introduce the notion of κ+-narrowness using surjective Hartogs numbers rather than the usul injective Hartogs values. The main theorem of this paper states that the transitive hull of a κ+-narrow relation is κ+-narrow. As an immediate corollary we obtain that, for every infinite cardinal (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  8
    Nuclear Deterrence.Paul W. Diener - 1988 - Journal for Peace and Justice Studies 1 (1):47-70.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  37.  10
    Limitations of PET and Lesion Studies in Defining the Role of the Human Cerebellum in Motor Learning.D. Timmann & H. C. Diener - 1996 - Behavioral and Brain Sciences 19 (3):477-477.
    PET studies using classical conditioning paradigms are reported. It is emphasized that PET studies show and not in learning paradigms. The importance of dissociating motor performance and learning deficits in human lesions studies is demonstrated in two exemplary studies. The different role of the cerebellum in adaptation of postural reflexes and learning of complex voluntary arm movements is discussed, [THACH].
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  11
    Kierkegaard on Authority, Obedience, and the Modern Approach to Religion.David Diener - 2013 - Res Philosophica 90 (4):609-628.
    Throughout his works Kierkegaard repeatedly claims that the modern age has subverted authentic Christianity. While interpretations of Kierkegaard’s critique of the modern approach to religion abound, they generally agree that the critique is based on various conceptual distinctions regarding the limits of human reason, the epistemological differences between subjective and objective truth, or the nature of religious faith. Very little attention, however, has been paid to the prominent role authority plays in the critique or to the fact that according to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  4
    Cough Is Dangerous: Neural Correlates of Implicit Body Symptoms Associations.Daniela Mier, Michael Witthöft, Josef Bailer, Julia Ofer, Tobias Kerstner, Fred Rist & Carsten Diener - 2016 - Frontiers in Psychology 7.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  40. Day, J., 167 Deci, EL, 56 De Ruyter, 62 Descarte, R., 41.J. Dewey, P. Dhillon, J. Diamond, E. Diener, S. E. Dimond, W. Dodds, J. M. Dostoevsky, D. D'Souza, C. Dyer & A. Edelstein - 2010 - In Yvonne Raley & Gerhard Preyer (eds.), Philosophy of Education in the Era of Globalization. Routledge. pp. 231.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  4
    Maternal Deaths in Medieval Sweden: An Osteological and Life Table Analysis.Ulf Högberg, Elisabeth Iregren, Claes-Henrik Siven & Lennart Diener - 1987 - Journal of Biosocial Science 19 (4):495-503.
  42. C. Dyke, Evolutionary Dynamics of Complex Systems: A Study in Biosocial Complexity Reviewed By.Erwin Diener - 1988 - Philosophy in Review 8 (12):477-480.
     
    Export citation  
     
    Bookmark  
  43.  5
    Humanism and Science in Cultural Anthropology: The Great Protein Fiasco.Paul Diener - 1984 - Journal of Social Philosophy 15 (1):13-20.
  44.  3
    Einfache Beweise Für Die Eindeutige Zerlegbarkeit Von Ausdrücken Endlicher und Unendlicher Sprachen.Karl-Heinz Diener - 1987 - Mathematical Logic Quarterly 33 (3):211-234.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. A Cultural Anthropological Theory, Selection as Ultimate Reality-the Alimento-Concept Among the Chorti-Maya and the Great Protein-Fiasco.P. Diener - 1982 - Ultimate Reality and Meaning 5 (3):250-264.
    No categories
     
    Export citation  
     
    Bookmark  
  46. Plains Indians of North-America, Concepts of Ultimate Reality and Meaning, by Kehoe, Alice, B.-Comment.P. Diener - 1982 - Ultimate Reality and Meaning 5 (1):58-65.
     
    Export citation  
     
    Bookmark  
  47.  30
    On Κ-Hereditary Sets and Consequences of the Axiom of Choice.Karl-Heinz Diener - 2000 - Mathematical Logic Quarterly 46 (4):563-568.
    We will prove that some so-called union theorems are equivalent in ZF0 to statements about the transitive closure of relations. The special case of “bounded” union theorems dealing with κ-hereditary sets yields equivalents to statements about the transitive closure of κ-narrow relations. The instance κ = ω1 yields an equivalent to Howard-Rubin's Form 172 of every hereditarily countable set x is countable). In particular, the countable union theorem and, a fortiori, the axiom of countable choice imply Form 172.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. Christoph Luetge, Hannes Rusch, & Matthias Uhl , Experimental Ethics: Toward an Empirical Moral Philosophy.Mark Alfano - 2016 - Ethical Theory and Moral Practice:1-4.
    It would be unkind but not inaccurate to say that most experimental philosophy is just psychology with worse methods and better theories. In Experimental Ethics: Towards an Empirical Moral Philosophy, Christoph Luetge, Hannes Rusch, and Matthias Uhl set out to make this comparison less invidious and more flattering. Their book has 16 chapters, organized into five sections and bookended by the editors’ own introduction and prospectus. Contributors hail from four countries (Germany, USA, Spain, and the United Kingdom) and five (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  12
    Book Review: Beyond Globalization: Capitalism, Territoriality and the International Relations of Modernity, Written by Hannes LacherBook Review: Marxism and World Politics: Contesting Global Capitalism, Written by Alexander Anievas. [REVIEW]Daniel R. McCarthy - 2014 - Historical Materialism 22 (3-4):477-504.
    This article will discuss the ongoing development of a Marxist theory of international relations. Examining the work of Hannes Lacher and that of the contributors toMarxism and World Politicsreveals an overarching concern amongst this group of scholars to engage with the central concerns of the discipline of International Relations – the nature of the state, anarchy, and war. Their analysis provides an excellent starting point for the development of a Marxist approach to international relations.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  89
    Book Reviews : The Moral Interpretation of Religion, by Peter Byrne. Edinburgh University Press, 1998. 178 Pp. Pb. £14.95. ISBN 0-7486-0784-6. Religion and Morality: An Introduction, by Paul W. Diener. Louisville, Ky: Westminster/John Knox Press, 1998. 144 Pp. Pb. US $15. ISBN 0-664-25765-8. [REVIEW]John Hare - 1999 - Studies in Christian Ethics 12 (2):74-78.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 382