Results for 'Verena H. Dyson'

(not author) ( search as author name )
988 found
Order:
  1.  23
    A. I. Mal′cév. O rékursivnyh abélévyh gruppah. Doklady Akadémii Nauk SSSR, vol. 146 , pp. 1009–1012.Verena H. Dyson - 1966 - Journal of Symbolic Logic 31 (4):649-649.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  13
    A. I. Mal′cév. Ob odnom sootvétstvii méždu kol′cami i gruppami . Matématičéskij sbornik, n.s. vol. 50 , pp. 257–266.Verena H. Dyson - 1965 - Journal of Symbolic Logic 30 (3):393-394.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  12
    Ax James. Solving diophantine problems modulo every prime. Annals of mathematics, ser. 2 vol. 85 , pp. 161–183.Verena H. Dyson - 1973 - Journal of Symbolic Logic 38 (1):161-162.
  4.  8
    Ax James. The elementary theory of finite fields. Annals of mathematics, ser. 2 vol. 88 , pp. 239–271.Verena H. Dyson - 1973 - Journal of Symbolic Logic 38 (1):162-163.
  5.  21
    Classification of Quantifier Prefixes Over Diophantine Equations.Some Diophantine Forms of Godel's Theorem.Universal Diophantine Equation.Exponential Diophantine Representation of Recursively Enumerable Sets.Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets.James P. Jones, Verena H. Dyson, John C. Shepherdson & J. P. Jones - 1986 - Journal of Symbolic Logic 51 (2):477-479.
  6.  19
    A. I. Mal′cév. Sirogo rodstvénnyé modéli i rékursivno sovéršénnyé algebry. Doklady Akadémii Nauk SSSR, vol. 145 , pp. 276–279. - A. I. Mal′cév. Strongly related models and recursively complete algebras. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 3 no. 4 , pp. 987–991. [REVIEW]Verena H. Dyson - 1966 - Journal of Symbolic Logic 31 (4):649-650.
  7.  16
    A. I. Mal′cév. Konstruktivnyé algébry. I. Uspéhi matématičéskih nauk, vol. 16 no. 3 , pp. 3–60. - A. I. Mal′tsev. Constructive algebras. I. English translation of the preceding by K. A. Hirsch. Russian mathematical surveys, vol. 16 no. 3 , pp. 77–129. [REVIEW]Verena H. Dyson - 1966 - Journal of Symbolic Logic 31 (4):647-649.
  8.  36
    A. I. Mal'cév. O svobodnyh razréšimyh gruppah. Doklady Akadémii Nauk SSSR, vol. 130 , pp. 495–498. - A. I. Mal'cev. On free soluble groups. English translation of the preceding by K. A. Hirsch. Soviet mathematics, vol. 1 no. 1 , pp. 65–68. [REVIEW]Verena H. Dyson - 1965 - Journal of Symbolic Logic 30 (1):99.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  25
    A. I. Mal′cév. Nérazréšimost′ eléméntarnoj téorii konéčnyh grupp. Doklady Akadémii Nauk SSSR, vol. 138 , pp. 771–774. - A. I. Mal′cev. Undecidability of the elementary theory of finite groups. English translation of the preceding by A. J. Lohwater. Soviet mathematics, vol. 2 no. 3 , pp. 714–717. [REVIEW]Verena H. Dyson - 1965 - Journal of Symbolic Logic 30 (3):394.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  26
    Newcomb Greenleaf. Fields in which varieties have rational points: a note on a problem of Ax. Proceedings of the American Mathematical Society, vol. 27 , pp. 139–140. [REVIEW]Verena H. Dyson - 1973 - Journal of Symbolic Logic 38 (1):163.
  11.  14
    Review: A. I. Mal'cev, K. A. Hirsch, Constructive Algebras. I. [REVIEW]Verena H. Dyson - 1966 - Journal of Symbolic Logic 31 (4):647-649.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  6
    Review: A. I. Mal'cev, Elliott Mendelson, Strongly Related Models and Recursively Complete Algebras. [REVIEW]Verena H. Dyson - 1966 - Journal of Symbolic Logic 31 (4):649-650.
  13.  10
    Review: A. I. Mal'cev, Lisa Rosenblatt, On Recursive Abelian Groups. [REVIEW]Verena H. Dyson - 1966 - Journal of Symbolic Logic 31 (4):649-649.
  14.  6
    Review: A. I. Mal'cev, K. A. Hirsch, On Free Soluble Groups. [REVIEW]Verena H. Dyson - 1965 - Journal of Symbolic Logic 30 (1):99-99.
  15. Review: A. I. Mal'cev, Undecidability of the Elementary Theory of Finite Groups. [REVIEW]Verena H. Dyson - 1965 - Journal of Symbolic Logic 30 (3):394-394.
  16. Review: A. I. Mal'cev, (Ob odnorn sootvetstvii mezdu kol'cami i grupparni):On a Correspondence Between Rings and Groups. [REVIEW]Verena H. Dyson - 1965 - Journal of Symbolic Logic 30 (3):393-394.
  17.  7
    Review: James Ax, The Elementary Theory of Finite Fields. [REVIEW]Verena H. Dyson - 1973 - Journal of Symbolic Logic 38 (1):162-163.
  18.  10
    Review: James Ax, Solving Diophantine Problems Modulo Every Prime. [REVIEW]Verena H. Dyson - 1973 - Journal of Symbolic Logic 38 (1):161-162.
  19.  27
    Robert L. Vaught. On a theorem of Cobham concerning undecidable theories. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 14–25. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):126-127.
  20.  7
    Review: Newcomb Greenleaf, Fields in Which Varieties have Rational Points: a Note on a Problem of Ax. [REVIEW]Verena H. Dyson - 1973 - Journal of Symbolic Logic 38 (1):163-163.
  21.  6
    Review: Robert L. Vaught, Ernest Nagel, Patrick Suppes, Alfred Tarski, On a Theorem of Cobham Concerning Undecidable Theories. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):126-127.
  22.  5
    Review: W. Hanf, J. W. Addison, Leon Henkin, Alfred Tarski, Model-Theoretic Methods in the Study of Elementary Logic. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):127-128.
  23.  18
    Wells B. F. III. Translator's foreword. The metamathematics of algebraic systems, Collected papers: 1936-1967, by Anatoliï Ivanovič Mal'cev, translated, edited, and provided with supplementary notes by Benjamin Franklin Wells, III, Studies in logic and the foundations of mathematics, vol. 66, North-Holland Publishing Company, Amsterdam and London 1971, pp. vii–x. [REVIEW]Verena H. Dyson - 1975 - Journal of Symbolic Logic 40 (4):640-650.
  24.  19
    W. Hanf. Model-theoretic methods in the study of elementary logic. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 132–145. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):127-128.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  43
    Verena H. Dyson, James P. Jones, and John C. Shepherdson. Some diophantine forms of Gödel's theorem. Archiv für mathematische Logik und Grundlagenforschung, vol. 22 , pp. 51–60. - James P. Jones. Universal diophantine equation. The journal of symbolic logic, vol. 47 , pp. 549–571. - J. P. Jones and Ju. V. Matijasevič. Exponential diophantine representation of recursively enumerable sets. English with French abstract. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by J. Stern, Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 159–177. - J. P. Jones and Y. V. Matijasevič. Register machine proof of the theorem on exponential diophantine representation of enumerable sets. The journal of symbolic logic, vol. 49 , pp. 818–829. [REVIEW]Martin Davis - 1986 - Journal of Symbolic Logic 51 (2):477-479.
  26.  23
    Gödel's theorems: a workbook on formalization.Verena Huber-Dyson - 1991 - Stuttgart: B.G. Teubner Verlagsgesellschaft.
    Summaries in English, French, German, and Russian.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  7
    An upper limit to the electric dipole moment of photons.N. A. Dyson & J. H. Fremlin - 1962 - Philosophical Magazine 7 (73):17-21.
  28.  30
    Julia Robinson. On the decision problem for algebraic rings. Studies in mathematical analysis and related topics, Essays in honor of George Pólya, edited by Gabor Szegö, Charles Loewner, Stefan Bergman, Menahem Max Schiffer, Jerzy Neyman, David Gilbarg, and Herbert Solomon, Stanford University Press, Stanford, California, 1962, pp. 297–304. [REVIEW]V. H. Dyson - 1970 - Journal of Symbolic Logic 35 (3):475-476.
  29.  18
    Review: Julia Robinson, Gabor Szego, Charles Loewner, Stefan Bergman, Menahem Max Schiffer, Jerzy Neyman, David Gilbarg, Herbert Solomon, On the Decision Problem for Algebraic Rings. [REVIEW]V. H. Dyson - 1970 - Journal of Symbolic Logic 35 (3):475-476.
  30.  4
    Die Zeitlichkeit des Verzeihens: zur Ethik der Urteilsenthaltung.Verena Rauen - 2015 - Paderborn: Wilhelm Fink.
    Verzeihen bedeutet Verzicht. Als ein zeitlicher Verzicht auf Tilgung von Schuld entzieht sich das Verzeihen dem Macht- und Möglichkeitsbereich normativ regulierbarer Handlungen und bildet die Grundlage für eine Ethik der Urteilsenthaltung. Verena Rauen weist in ihrer Studie das Verzeihen als Quellpunkt der ethischen Zeit aus. Das Verzeihen interveniert in den Schuldzusammenhang der kontinuierlichen Zeit der Geschichte und ermöglicht ethische, d.h. neue und nicht durch vorherige Schuld bestimmte Handlungen. Eine solche zeitliche Unterbrechung der Kausalverkettung der Schuld kann sich nur durch (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  14
    A note on Virgil, Aeneid 5.315–19.M. Dyson - 1998 - Classical Quarterly 48 (02):569-572.
    The meaning of the expression simul ultima signant in Virgil's description of the foot race in the memorial funeral games for Anchises has been controversial since ancient times. The interpretation implied by R. A. B. Mynors's Oxford text printed above is that the word simul in line 317 is a conjunction and that the expression refers to the final section of the race. The sense presumably is: ‘As soon as they trod the last stretch’ Nisus came out in front, whereas (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  32.  12
    A note on Virgil, Aeneid 5.315–19.M. Dyson - 1998 - Classical Quarterly 48 (2):569-572.
    The meaning of the expression simul ultima signant in Virgil's description of the foot race in the memorial funeral games for Anchises has been controversial since ancient times. The interpretation implied by R. A. B. Mynors's Oxford text printed above is that the word simul in line 317 is a conjunction and that the expression refers to the final section of the race. The sense presumably is: ‘As soon as they trod the last stretch’ Nisus came out in front, whereas (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  12
    Book Review: Gardner H ed 2007: Responsibility at work. How leading professionals act responsibly. San Francisco, CA: Wiley. 360 pp. GBP19.99 . ISBN: 978 0 7879 9475 4. [REVIEW]Verena Tschudin - 2008 - Nursing Ethics 15 (5):706-706.
  34. Ethics in nursing: the caring relationship.Verena Tschudin - 2003 - New York: Butterworth-Heinemann.
    This well-known core text on nursing ethics provides an in-depth exploration of nursing ethics content from the western philosophical tradition along with some ...
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  35.  6
    The evolution of science.Freeman Dyson - 1998 - In A. C. Fabian (ed.), Evolution: society, science, and the universe. New York: Cambridge University Press. pp. 9--118.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  36.  5
    Justice: continuity and change.Lord Dyson - 2018 - Portland, Oregon: Hart Publishing.
    Criticising judges : fair game or off-limits? -- Academics and judges -- Are the judges too powerful? -- Magna Carta and compensation culture -- Does judicial review undermine democracy? -- Liability of public authorities in negligence -- The shifting sands of statutory interpretation -- Time to call it a day : some reflections on finality and the law -- The globalisation of law -- Recent developments in commercial law conference -- The contribution of construction cases to the development of the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  41
    How Techniques of Neutralization Legitimize Norm- and Attitude-Inconsistent Consumer Behavior.Verena Gruber & Bodo B. Schlegelmilch - 2014 - Journal of Business Ethics 121 (1):29-45.
    In accordance with societal norms and values, consumers readily indicate their positive attitudes toward sustainability. However, they hardly take sustainability into account when engaging in exchange relationships with companies. To shed light on this paradox, this paper investigates whether defense mechanisms and the more specific concept of neutralization techniques can explain the discrepancy between societal norms and actual behavior. A multi-method qualitative research design provides rich insights into consumers’ underlying cognitive processes and how they make sense of their attitude–behavior divergences. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  38.  14
    Making worlds from literature: W.E.B. Du Bois’s The Quest of the Silver Fleece_ and _Dark Princess.Verena Adamik - 2021 - Thesis Eleven 162 (1):105-120.
    While W.E.B. Du Bois’s first novel, The Quest of the Silver Fleece (1911), is set squarely in the USA, his second work of fiction, Dark Princess: A Romance (1928), abandons this national framework, depicting the treatment of African Americans in the USA as embedded into an international system of economic exploitation based on racial categories. Ultimately, the political visions offered in the novels differ starkly, but both employ a Western literary canon – so-called ‘classics’ from Greek, German, English, French, and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  31
    How Nursing Ethics as a Subject Changes: An analysis of the first 11 years of publication of the journal Nursing Ethics.Verena Tschudin - 2006 - Nursing Ethics 13 (1):65-85.
    By analysing the first, second, 10th and 11th years of publication (i.e. volumes 1, 2, 10, 11) of Nursing Ethics, I will show the significant visible trends in the articles and draw some conclusions. The trends are visible at various levels: from simple analysis of an issue, or a comment on a situation in the early years, to in-depth philosophical and research studies; and from short statements to much longer articles. The ethical approaches used go from either none or unquestioned (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  40. Foreword.Anthony Dyson - 1988 - Studies in Christian Ethics 1 (1):5-6.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41.  2
    1. Der Tractatus als System.Verena Mayer - 1997 - In Wilhelm Vossenkuhl (ed.), Ludwig Wittgenstein: Tractatus Logico-Philosophicus. Berlin: Wiley-VCH. pp. 11-33.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Agnosticism as settled indecision.Verena Wagner - 2022 - Philosophical Studies 179 (2):671-697.
    In this paper, I spell out a descriptive account of agnosticism that captures the intuitive view that a subject enters the mental state of agnosticism via an act or event called suspension. I will argue that agnosticism is a complex mental state, and that the formation of an attitude is the relevant act or event by which a subject commits to indecision regarding some matter. I will suggest a ‘two-component analysis’ that addresses two aspects that jointly account for the settled (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  43. Epistemic dilemma and epistemic conflict.Verena Wagner - 2021 - In Kevin McCain, Scott Stapleford & Matthias Steup (eds.), Epistemic Duties: New Arguments, New Angles. Routledge. pp. 58-76.
    In this paper, I will examine the notion of an epistemic dilemma, its characterizations in the literature, and the different intuitions prompted by it. I will illustrate that the notion of an epistemic dilemma is expected to capture various phenomena that are not easily unified with one concept: while some aspects of these phenomena are more about the agent in a certain situation, other aspects seem to be more about the situation as such. As a consequence, incompatible intuitions emerge concerning (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  13
    Shared Responsibility for Societal Problems: The Role of Internal Activists in Reframing Corporate Responsibility.Verena Girschik - 2020 - Business and Society 59 (1):34-66.
    This article addresses intraorganizational pressures for organizational transformation toward more responsible business practices by exploring the role of internal activists. Building on the interactive framing perspective, I ask how internal activists develop a framing of their company’s responsibilities as they attempt to transform its business practices from the inside out. I explore this question in the context of a Danish pharmaceutical company’s responsibilities regarding the rising diabetes problem. Grounded in an inductive, interpretive analysis, I show how internal activists developed a (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  45.  22
    Smart cities as a testbed for experimenting with humans? - Applying psychological ethical guidelines to smart city interventions.Verena Zimmermann - 2023 - Ethics and Information Technology 25 (4):1-15.
    Smart Cities consist of a multitude of interconnected devices and services to, among others, enhance efficiency, comfort, and safety. To achieve these aims, smart cities rely on an interplay of measures including the deployment of interventions targeted to foster certain human behaviors, such as saving energy, or collecting and exchanging sensor and user data. Both aspects have ethical implications, e.g., when it comes to intervention design or the handling of privacy-related data such as personal information, user preferences or geolocations. Resulting (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  44
    Der Logische Aufbau als Plagiat: Oder: Eine Einführung in Husserls System der Konstitution.Verena Mayer - 2016 - In Guillermo E. Rosado Haddock (ed.), Husserl as Analytic Philosopher. de Gruyter. pp. 175-260.
  47. Qaḍāyā falsafīyah.Najīb Ḥaṣādī - 2004 - Miṣrātah: al-Dār al-Jamāhīrīyah lil-Nashr wa-al-Tawzīʻ wa-al-Iʻlān.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Beten lernen mit Herz und Verstand Ein spiritueller Übungsweg.Verena Begemann - 2018 - In Verena Begemann, Christiane Burbach, Dieter Weber & Friedrich Heckmann (eds.), Ethik als Kunst der Lebensführung: festschrift fur Friedrich Heckmann. Stuttgart: Kohlhammer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  49.  7
    Der Tod gibt zu denken: interdisziplinäre Reflexionen zur (einzigen) Gewissheit des Lebens.Verena Begemann (ed.) - 2010 - Münster: Waxmann.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  9
    Ethik als Kunst der Lebensführung: festschrift fur Friedrich Heckmann.Verena Begemann, Christiane Burbach, Dieter Weber & Friedrich Heckmann (eds.) - 2018 - Stuttgart: Kohlhammer Verlag.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 988