Results for 'Konstantin Dörr'

493 found
Order:
  1.  9
    Women Inventors in Context: Disparities in Patenting across Academia and Industry.Laurel Smith-Doerr & Kjersten Bunker Whittington - 2008 - Gender and Society 22 (2):194-218.
    Explanations of productivity differences between men and women in science tend to focus on the academic sector and the individual level. This article examines how variation in organizational logic affects sex differences in scientists' commercial productivity, as measured by patenting. Using detailed data from a sample of academic and industrial life scientists working in the United States, the authors present multivariate regression models of scientific patenting. The data show that controlling for education- and career-history variables, women are less likely to (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  2.  2
    Group Risks: Thinking Outside the Box.Megan Doerr & Sara Meeder - 2025 - American Journal of Bioethics 25 (2):61-64.
    In their recent article Consideration and Disclosure of Group Risks in Genomics and Other Data-Centric Research: Does the Common Rule Need Revision? Chapman et al. (2025) thoughtfully explore aspec...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  24
    Assessment of the All of Us research program’s informed consent process.Megan Doerr, Sarah Moore, Vanessa Barone, Scott Sutherland, Brian M. Bot, Christine Suver & John Wilbanks - 2021 - AJOB Empirical Bioethics 12 (2):72-83.
    Informed consent is the gateway to research participation. We report on the results of the formative evaluation that follows the electronic informed consent process for the All of Us Research Program. Of the nearly 250,000 participants included in this analysis, more than 95% could correctly answer questions distinguishing the program from medical care, the voluntary nature of participation, and the right to withdraw; comparatively, participants were less sure of privacy risk of the program. We also report on a small mixed-methods (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  22
    Who Are the People in Your Neighborhood? Personas Populating Unregulated mHealth Research.Megan Doerr & Christi Guerrini - 2020 - Journal of Law, Medicine and Ethics 48 (S1):37-48.
    A key feature of unregulated mHealth research is the diversity of participants in this space. Applying an approach drawn from user experience design, we describe a set of archetypal unregulated mHealth researcher “personas,” which range from individuals who seek empowerment or have philanthropic objectives to those who are primarily motivated by financial gain or have misanthropic objectives. These descriptions are useful for evaluating policies applicable to mHealth to understand how they will impact various stakeholders.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  20
    Images within the Precarity Movement in Italy.Nicole Doerr & Alice Mattoni - 2007 - Feminist Review 87 (1):130-135.
    The recent cycle of social struggles against precarity in Italy has been characterized by an extensive use of images representing precarious workers. This contribution explores this in the case of the Euro Mayday Parade (EMP) protest campaign. The subversion of existing popular culture traditions was the main objective of the activists’ newly created icons such as San Precario, Serpica Naro and other visual tools. The visual work on gender in the EMP seemed to fill a gap between theoretical work on (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  19
    Origin and development of primary animal epithelia.Sophia Doerr, Phillip Zhou & Katerina Ragkousi - 2024 - Bioessays 46 (2):2300150.
    Epithelia are the first organized tissues that appear during development. In many animal embryos, early divisions give rise to a polarized monolayer, the primary epithelium, rather than a random aggregate of cells. Here, we review the mechanisms by which cells organize into primary epithelia in various developmental contexts. We discuss how cells acquire polarity while undergoing early divisions. We describe cases where oriented divisions constrain cell arrangement to monolayers including organization on top of yolk surfaces. We finally discuss how epithelia (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  25
    Socrates' Maieutics and the Ethical Foundations of Psychotherapy.Otto Doerr-Zegers - 2022 - Philosophy, Psychiatry, and Psychology 29 (4):279-285.
    Abstract:Since Homeric times, psychotherapy has been an essential part of the medical act. Initially, the word of physicians had a magical character. Plato rationalizes this in many of his dialogues. In "Charmides," he dives deeper into this matter and proposes to apply it to every disease. Analysing this dialogue has fundamental consequences for psychotherapy: 1) Remedy and epodé (charm) must be applied in every doctor–patient relationship. 2) The body can only be healed if the soul is cured first by a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  21
    Understanding and Healing.Otto Doerr-Zegers - 2022 - Philosophy, Psychiatry, and Psychology 29 (4):293-298.
    First, I would like to thank Dr. Phillips for his generous words about the potential interest of my work. He speaks about the fact that it is "insightful" and thought-provoking ("it offers us much to think about"). In his comment Dr. Phillips reviews the main moments of the evolution of treatment by words in the Greek world and he focuses on Plato's Dialogue Charmides, whose analysis is the center of my article. He even quotes some parts of the dialogue, which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  14
    Cognitive derivation of generalization stimuli: Separation of components.Hans O. Doerr - 1981 - Bulletin of the Psychonomic Society 17 (2):73-75.
  10. Gestalttheorie und morphologische Krankheitsforschung.W. Doerr - 1984 - In Eduard Seidler (ed.), Medizinische Anthropologie: Beiträge für eine theoretische Pathologie. New York: Springer.
     
    Export citation  
     
    Bookmark  
  11.  15
    (1 other version)Immersion, Immigration, Immutability: Regimes of Learning and Politics of Labeling in Study Abroad.Neriko Musha Doerr & Richard Suarez - 2018 - Educational Studies 54 (2):183-197.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Phenomenology of corporeality (and spatiality) in anorexia nervosa with a reference to the problem of its temporality.Otto Doerr-Zegers & Héctor Pelegrina-Cetran - 2020 - In Christian Tewes & Giovanni Stanghellini (eds.), Time and Body: Phenomenological and Psychopathological Approaches. New York, NY: Cambridge University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  13.  5
    Recht und Ethik in der Medizin.Wilhelm Doerr, Wolfgang Jacob & Adolf Laufs (eds.) - 1982 - New York: Springer Verlag.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  17
    School, Church, and State Reconsidered.Edd Doerr - 1983 - Education and Culture 3:2.
  15.  28
    The Social Studies in the Seminary: Their Content According to Recent Documents of the Holy See.Herman L. Doerr - 1953 - Franciscan Studies 13 (4):78-129.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  10
    The unbiased black-box complexity of partition is polynomial.Benjamin Doerr, Carola Doerr & Timo Kötzing - 2014 - Artificial Intelligence 216:275-286.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  59
    The encounter with God in myth and madness.Otto Doerr & Óscar Velásquez - 2007 - Philosophy, Ethics, and Humanities in Medicine 2:12.
    It is well known how often psychiatric patients report religious experiences. These are especially frequent in schizophrenic and epileptic patients as the subject of their delusions. The question we pose is: are there differences between this kind of religious experiences and those we find in religious texts or in the mythological tradition?
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Epistemic Cultures of Collaboration : Coherence and Ambiguity in Interdisciplinarity.Laurel Smith-Doerr, Jennifer Croissant, Itai Vardi & Timothy Sacco - 2017 - In Scott Frickel, Mathieu Albert & Barbara Prainsack (eds.), Investigating interdisciplinary collaboration: theory and practice across disciplines. New Brunswick, New Jersey: Rutgers University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  19.  16
    Stuck in the Middle: Doctoral Education Ranking and Career Outcomes for Life Scientists.Laurel Smith-Doerr - 2006 - Bulletin of Science, Technology and Society 26 (3):243-255.
    Why do some Ph.D.'s languish in positions with little authority, and what does educational background have to do with it? Hypotheses predicted that life scientists with Ph.D.'s from elite programs would be the most likely, those from middle-ranked programs the next most likely, and those from lower ranked programs the least likely to achieve supervisory positions. A sample of 2,062 life scientists with doctorates from U.S. universities was collected from records archived from 1983 to 1995. In contrast to hypotheses, Ph.D.'s (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  29
    Kant’s Theory of Normativity: Exploring the Space of Reason.Konstantin Pollok - 2017 - New York: Cambridge University Press.
    Konstantin Pollok offers the first book-length analysis of Kant's theory of normativity that covers foundational issues in theoretical and practical philosophy as well as aesthetics. Interpreting Kant's 'critical turn' as a normative turn, he argues that Kant's theory of normativity is both original and radical: it departs from the perfectionist ideal of early modern rationalism, and arrives at an unprecedented framework of synthetic a priori principles that determine the validity of our judgments. Pollok examines the hylomorphism in Kant's theory (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  21. Philosophy in Literature Metaphysical Darkness and Ethical Light /Konstantin Kolenda. --. --.Konstantin Kolenda - 1982 - Barnes & Noble, Books, 1982.
     
    Export citation  
     
    Bookmark  
  22. Traugott Konstantin Oesterreich, "Ich"-Forscher und Gottsucher.Traugott Konstantin Oesterreich - 1954 - Stuttgart,: F. Frommann. Edited by Oesterreich & [From Old Catalog].
    No categories
     
    Export citation  
     
    Bookmark  
  23. Resisting Moral Conservatism with Difficulties of Reality: a Wittgensteinian-Diamondian Approach to Animal Ethics.Konstantin Deininger, Andreas Aigner & Herwig Grimm - 2024 - Journal of Value Inquiry 58 (3):495-513.
    In this paper, we tackle the widely held view that practice-oriented approaches to ethics are conservative, preserving the moral status quo, and, in particular, that they do not promote any (fundamental) change in our dealings with animals or formulate clear principles that help us to achieve such change. We shall challenge this view with reference to Wittgensteinian ethics. As a first step, we show that moral thought and action rest on basic moral certainties like: equals are to be treated equally (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. ChatGPT is no Stochastic Parrot. But it also Claims that 1 is Greater than 1.Konstantine Arkoudas - 2023 - Philosophy and Technology 36 (3):1-29.
    This article is a commentary on ChatGPT and LLMs (Large Language Models) in general. It argues that this technology has matured to the point where calling systems such as ChatGPT “stochastic parrots” is no longer warranted. But it also argues that these systems continue to have serious limitations when it comes to reasoning. These limitations are much more severe than commonly thought. A large array of examples are given to support these claims.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  20
    Mind the Gap: Formal Ethics Policies and Chemical Scientists’ Everyday Practices in Academia and Industry.Itai Vardi & Laurel Smith-Doerr - 2015 - Science, Technology, and Human Values 40 (2):176-198.
    Asymmetrical convergence is the increasing overlap between academic and industrial sectors, but with academia moving closer toward for-profit industrial norms than vice versa. Although this concept, developed by Kleinman and Vallas, is useful, processes of asymmetrical convergence in daily laboratory life are largely unexplored. Here, observations of three lab groups of chemical scientists in academic and industry contexts illustrate variation in interactions with ethics-related policies. Findings show more tension for academic science with business-based practices, such as the move toward greater (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  26. Kant's critical concepts of motion.Konstantin Pollok - 2006 - Journal of the History of Philosophy 44 (4):559-575.
    Konstantin Pollok - Kant's Critical Concepts of Motion - Journal of the History of Philosophy 44:4 Journal of the History of Philosophy 44.4 559-575 Muse Search Journals This Journal Contents Kant's Critical Concepts of Motion Konstantin Pollok There are two significant places in Kant's Critical corpus where he discusses the concept of motion. The first is in the Critique of Pure Reason, where in the "Deduction of the Categories" Kant writes: Motion, as an act of the subject , (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  27.  33
    Randomized Controlled Trials in Medical AI.Konstantin Genin & Thomas Grote - 2021 - Philosophy of Medicine 2 (1).
    Various publications claim that medical AI systems perform as well, or better, than clinical experts. However, there have been very few controlled trials and the quality of existing studies has been called into question. There is growing concern that existing studies overestimate the clinical benefits of AI systems. This has led to calls for more, and higher-quality, randomized controlled trials of medical AI systems. While this a welcome development, AI RCTs raise novel methodological challenges that have seen little discussion. We (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  28. Full & Partial Belief.Konstantin Genin - 2019 - In Richard Pettigrew & Jonathan Weisberg (eds.), The Open Handbook of Formal Epistemology. PhilPapers Foundation. pp. 437-498.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  29.  25
    Decoupling Policy and Practice: How Life Scientists Respond to Ethics Education. [REVIEW]Laurel Smith-Doerr - 2008 - Minerva 46 (1):1-16.
    Many graduate programmes in science now require courses in ethics. However, little is known about their reception or use. Using websites and interviews, this essay examines ethics requirements in the field of biosciences in three countries (the United States of America, the United Kingdom, and Italy) between 2000 and 2005. Evidence suggests that current policies may be ineffective, and that scientists who take ethical issues seriously are seen as exceptional.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30. Computers, justification, and mathematical knowledge.Konstantine Arkoudas & Selmer Bringsjord - 2007 - Minds and Machines 17 (2):185-202.
    The original proof of the four-color theorem by Appel and Haken sparked a controversy when Tymoczko used it to argue that the justification provided by unsurveyable proofs carried out by computers cannot be a priori. It also created a lingering impression to the effect that such proofs depend heavily for their soundness on large amounts of computation-intensive custom-built software. Contra Tymoczko, we argue that the justification provided by certain computerized mathematical proofs is not fundamentally different from that provided by surveyable (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  31.  37
    Kants »Metaphysische Anfangsgründe der Naturwissenschaft«: Ein Kritischer Kommentar.Konstantin Pollok - 2001 - Hamburg, Germany: Meiner.
    In den Kant-Forschungen werden sowohl historisch als auch systematisch orientierte Arbeiten zur Philosophie Immanuel Kants veröffentlicht. Die Bände stellen Funde unbekannter oder verschollen geglaubter Kantischer Autographen und Vorlesungsskripte vor und erörtern Editionsprobleme der Kantischen Vorlesungen und Werke. Sie enthalten darüber hinaus Studien zu Kants Umfeld und zur Kant-Rezeption im 18. Jahrhundert sowie systematisch angelegte Arbeiten zu Architektonik und System der Philosophie Kants.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  32.  69
    On the criterion and incremental validity of trait emotional intelligence.Konstantin Vasily Petrides, Juan Carlos Pérez-González & Adrian Furnham - 2007 - Cognition and Emotion 21 (1):26-55.
  33.  15
    (1+1) genetic programming with functionally complete instruction sets can evolve Boolean conjunctions and disjunctions with arbitrarily small error. [REVIEW]Benjamin Doerr, Andrei Lissovoi & Pietro S. Oliveto - 2023 - Artificial Intelligence 319 (C):103906.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  20
    Book Review: The Mathematics of Sex: How Biology and Society Conspire to Limit Talented Women and Girls. [REVIEW]Laurel Smith-Doerr - 2012 - Gender and Society 26 (3):530-532.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. On strong provability predicates and the associated modal logics.Konstantin N. Ignatiev - 1993 - Journal of Symbolic Logic 58 (1):249-290.
    PA is Peano Arithmetic. Pr(x) is the usual Σ1-formula representing provability in PA. A strong provability predicate is a formula which has the same properties as Pr(·) but is not Σ1. An example: Q is ω-provable if PA + ¬ Q is ω-inconsistent (Boolos [4]). In [5] Dzhaparidze introduced a joint provability logic for iterated ω-provability and obtained its arithmetical completeness. In this paper we prove some further modal properties of Dzhaparidze's logic, e.g., the fixed point property and the Craig (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  36.  65
    (1 other version)Theory Choice, Theory Change, and Inductive Truth-Conduciveness.Konstantin Genin & Kevin T. Kelly - 2018 - Studia Logica:1-41.
    Synchronic norms of theory choice, a traditional concern in scientific methodology, restrict the theories one can choose in light of given information. Diachronic norms of theory change, as studied in belief revision, restrict how one should change one’s current beliefs in light of new information. Learning norms concern how best to arrive at true beliefs. In this paper, we undertake to forge some rigorous logical relations between the three topics. Concerning, we explicate inductive truth conduciveness in terms of optimally direct (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  37. Certainties and the Bedrock of Moral Reasoning: Three Ways the Spade Turns.Konstantin Deininger & Herwig Grimm - 2024 - Analytic Philosophy.
    In this paper, we identify and explain three kinds of bedrock in moral thought. The term "bedrock," as introduced by Wittgenstein in §217 of the Philosophical Investigations, stands for the end of a chain of reasoning. We affirm that some chains of moral reasoning do indeed end with certainty. However, different kinds of certainties in morality work in different ways. In the course of systematizing the different types of certainties, we argue that present accounts of certainties in morality do not (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38. ‘An Almost Single Inference’ – Kant's Deduction of the Categories Reconsidered.Konstantin Pollok - 2008 - Archiv für Geschichte der Philosophie 90 (3):323-345.
    By taking into account some texts published between the first and the second edition of the Critique of Pure Reason that have been neglected by most of those who have dealt with the deduction of the categories, I argue that the core of the deduction is to be identified as the ‘almost single inference from the precisely determined definition of a judgment in general’, which Kant adumbrates in the Metaphysical Foundations in order to ‘make up for the deficiency’ of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  39.  23
    From Kant to Frank: The Ethic of Duty and the Problem of Resistance to Evil in Russian Thought.Konstantin M. Antonov - 2023 - Kantian Journal 42 (1):10-51.
    One of the key ethical debates in Russian religious thought, initiated by Leo Tolstoy, concerned the question of nonresistance to evil by force. The purpose of this article is to assess the influence of Kant’s ethics and philosophy of religion on the course of this debate and to determine the place and significance of the arguments and considerations expressed on this issue by Semyon Frank in the early and late periods (1908 and 1940s) of his work. To this end I (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  21
    The Use of New Technologies for Improving Reading Comprehension.Agnese Capodieci, Cesare Cornoldi, Elizabeth Doerr, Laura Bertolo & Barbara Carretti - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  1
    Group Risks: Thinking Outside the Box.Megan Doerr Sara Meeder A. Sage Bionetworksb Maimonides Medical Center - 2025 - American Journal of Bioethics 25 (2):61-64.
    Volume 25, Issue 2, February 2025, Page 61-64.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  11
    Mathematical runtime analysis for the non-dominated sorting genetic algorithm II (NSGA-II).Weijie Zheng & Benjamin Doerr - 2023 - Artificial Intelligence 325 (C):104016.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  23
    The rhetoric of religious conflict in arnobius’ adversvs nationes.Konstantine Panegyres - 2019 - Classical Quarterly 69 (1):402-416.
    In this paper I discuss the ways in which the early Christian writer Arnobius of Sicca used rhetoric to shape religious identity inAduersus nationes. I raise questions about the reliability of his rhetorical work as a historical source for understanding conflict between Christians and pagans. The paper is intended as an addition to the growing literature in the following current areas of study: the role of local religion and identity in the Roman Empire; the presence of pagan elements in Christian (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44. Für Tiere sprechen: Reichweite und Nachhaltigkeit von Für-Sprache am Beispiel der Pig Vigils (Speaking for Animals: Range and Sustainability of Animal Advocacy Using the Example of Pig Vigils).Konstantin Deininger & Kristina Steimer - 2019 - Tierstudien 1 (16):104-114.
  45.  32
    Science after Stalin: Forging a New Image of Soviet Science.Konstantin Ivanov - 2002 - Science in Context 15 (2):317-338.
    ArgumentPost-Stalinist reforms resulted in dramatic changes in the ways of operation of Soviet science: one can say that they altered the very understanding of what science was, or should be, in the socialist society. A new vision came about as a result of political and rhetorical efforts of scientists, who pushed forward their various, often conflicting, agendas acting in accordance with specific rules of Soviet polity. The most visible part of the reform came with the 1961 administrative reorganization of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  46.  66
    “Fabricating a World In Accordance with Mere Fantasy …”?Konstantin Pollok - 2002 - Review of Metaphysics 56 (1):61-97.
    IMMANUEL KANT GRADUATED IN 1755 from the University of Königsberg on the basis of the dissertation On Fire and with the essay A New Exposition of the First Principles of Metaphysics written specifically for the occasion; he took up a position as lecturer in the same year. In 1756 he wrote a third Latin essay, the Physical Monadology, and applied for a professorship at the Albertina in Königsberg. The application was unsuccessful and, more significantly, the work failed to attract the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  47.  39
    Multitasking During Simulated Car Driving: A Comparison of Young and Older Persons.Konstantin Wechsler, Uwe Drescher, Christin Janouch, Mathias Haeger, Claudia Voelcker-Rehage & Otmar Bock - 2018 - Frontiers in Psychology 9.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48. ‘The understanding prescribes laws to nature’: Spontaneity, Legislation, and Kant’s Transcendental Hylomorphism.Konstantin Pollok - 2014 - Kant Studien 105 (4):509-530.
    Name der Zeitschrift: Kant-Studien Jahrgang: 105 Heft: 4 Seiten: 509-530.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  27
    Performing Defiance with Rights.Konstantine Eristavi - 2021 - Law and Critique 32 (2):153-169.
    Against the well-established critical rejection of rights a growing literature in the tradition of agonistic democracy asserts their emancipatory role in the struggles for social change. However, agonistic theorists, invested as they are in the idea of democratic innovation as a process of gradual ‘augmentation’ of existing rules, institutions and practices, fail to account for the ruptural capacity, and hence for the full radical potential, of rights. Using the performative approach, I develop a conception of rights claiming as a defiant (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  38
    The provability logic for Σ1-interpolability.Konstantin N. Ignatiev - 1993 - Annals of Pure and Applied Logic 64 (1):1-25.
    We say that two arithmetical formulas A, B have the Σ1-interpolation property if they have an ‘interpolant’ σ, i.e., a Σ1 formula such that the formulas A→σ and σ→B are provable in Peano Arithmetic PA. The Σ1-interpolability predicate is just a formalization of this property in the language of arithmetic.Using a standard idea of Gödel, we can associate with this predicate its provability logic, which is the set of all formulas that express arithmetically valid principles in the modal language with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 493