Results for 'Andreas Strohm'

999 found
Order:
  1.  21
    Self-diffusion of silicon in molybdenum disilicide.Marcel Salamon, Andreas Strohm, Thilo Voss, Pauli Laitinen, Iiro Riihimäki, Sergiy Divinski, Werner Frank, Jyrki Räisänen ¶ & Helmut Mehrer - 2004 - Philosophical Magazine 84 (8):737-756.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  24
    Why People Don’t Take their Concerns about Fair Trade to the Supermarket: The Role of Neutralisation.Andreas Chatzidakis, Sally Hibbert & Andrew P. Smith - 2007 - Journal of Business Ethics 74 (1):89-100.
    This article explores how neutralisation can explain people's lack of commitment to buying Fair Trade products, even when they identify FT as an ethical concern. It examines the theoretical tenets of neutralisation theory and critically assesses its applicability to the purchase of FT products. Exploratory research provides illustrative examples of neutralisation techniques being used in the FT consumer context. A conceptual framework and research propositions delineate the role of neutralisation in explaining the attitude-behaviour discrepancies evident in relation to consumers' FT (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  3.  32
    Socio-Cognitive Determinants of Consumers’ Support for the Fair Trade Movement.Andreas Chatzidakis, Minas Kastanakis & Anastasia Stathopoulou - 2016 - Journal of Business Ethics 133 (1):95-109.
    Despite the reasonable explanatory power of existing models of consumers’ ethical decision making, a large part of the process remains unexplained. This article draws on previous research and proposes an integrated model that includes measures of the theory of planned behavior, personal norms, self-identity, neutralization, past experience, and attitudinal ambivalence. We postulate and test a variety of direct and moderating effects in the context of a large scale survey study in London, UK. Overall, the resulting model represents an empirically robust (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  4.  21
    How to phrase critical realist interview questions in applied social science research.Andreas Brönnimann - 2021 - Journal of Critical Realism 21 (1):1-24.
    The tenets of critical and social realism are well supported in the literature. However, researchers following a realist paradigm have concerns about the lack of methodical guidance for qualitative...
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5. Beyond dual-process models: A categorisation of processes underlying intuitive judgement and decision making.Andreas Glöckner & Cilia Witteman - 2010 - Thinking and Reasoning 16 (1):1 – 25.
    Intuitive-automatic processes are crucial for making judgements and decisions. The fascinating complexity of these processes has attracted many decision researchers, prompting them to start investigating intuition empirically and to develop numerous models. Dual-process models assume a clear distinction between intuitive and deliberate processes but provide no further differentiation within both categories. We go beyond these models and argue that intuition is not a homogeneous concept, but a label used for different cognitive mechanisms. We suggest that these mechanisms have to be (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   58 citations  
  6. Popular Sovereignty, Democracy, and the Constituent Power.Andreas Kalyvas - 2005 - Constellations 12 (2):223-244.
  7.  18
    Global Policies and Local Practice.Andreas Rasche - 2012 - Business Ethics Quarterly 22 (4):679-708.
    This paper extends scholarship on multi-stakeholder initiatives (MSIs) in the context of corporate social responsibility in three ways. First, I outline a framework to analyze the strength of couplings between actors participating in MSIs. Characterizing an MSI as consisting of numerous local networks that are embedded in a wider global network, I argue that tighter couplings (within local networks) and looser couplings (between local networks) coexist. Second, I suggest that this coexistence of couplings enables MSIs to generate policy outcomes which (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  8. Where’s the action? The pragmatic turn in cognitive science.Andreas K. Engel, Alexander Maye, Martin Kurthen & Peter König - 2013 - Trends in Cognitive Sciences 17 (5):202-209.
  9. Political Metaphor Analysis: Discourse and Scenarios.Andreas Musolff - 2016
    No categories
     
    Export citation  
     
    Bookmark   15 citations  
  10.  87
    Bringing back intrinsics to enduring things.Andreas C. Bottani - 2016 - Synthese:1-22.
    According to David Lewis, the argument from temporary intrinsics is ‘the principal and decisive objection against endurance’. I focus on eternalist endurantism, discussing three different ways the eternalist endurantist can try to avoid treating temporary intrinsics as relational. Two of them, generally known as ‘adverbialism’ and ‘SOFism’, are familiar and controversial. I scrutinize them and argue that Lewis’ scepticism about them is well founded. Then, I sketch a further, to some extent new, version of eternalist endurantism, where the key idea (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  19
    Assessing cognitive processes with diffusion model analyses: a tutorial based on fast-dm-30.Andreas Voss, Jochen Voss & Veronika Lerche - 2015 - Frontiers in Psychology 6.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  12.  7
    Binding and the neural correlates of consciousness.Andreas K. Engel & Wolf Singer - 2000 - Trends in Cognitive Sciences 5 (1):16-25.
  13. Introduction: The Character of Physicalism.Andreas Elpidorou - 2018 - Topoi 37 (3):435-455.
    The aim of this editorial introduction is twofold. First, Sects. 1–8 offer a critical introduction to the metaphysical character of physicalism. In those sections, I present and evaluate different ways in which proponents of physicalism have made explicit the metaphysical dependence that is said to hold between the non-physical and the physical. Some of these accounts are found to be problematic; others are shown to be somewhat more promising. In the end, some important lessons are drawn and different options for (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  14. Explanation, Emergence, and Quantum Entanglement.Andreas Hüttemann - 2005 - Philosophy of Science 72 (1):114-127.
    This paper tries to get a grip on two seemingly conflicting intuitions about reductionism in quantum mechanics. On the one hand it is received wisdom that quantum mechanics puts an end to ‘reductionism’. Quantum-entanglement is responsible for such features of quantum mechanics as holism, the failure of supervenience and emergence. While I agree with these claims I will argue that it is only part of the story. Quantum mechanics provides us with thorough-going reductionist explanations. I will distinguish two kinds of (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  15.  38
    Present pasts: urban palimpsests and the politics of memory.Andreas Huyssen - 2003 - Stanford, Calif.: Stanford University Press.
    Memory of historical trauma has a unique power to generate works of art. This book analyzes the relation of public memory to history, forgetting, and selective memory in Berlin, Buenos Aires, and New York—three late-twentieth-century cities that have confronted major social or political traumas. Berlin experienced the fall of the Berlin Wall and the city’s reemergence as the German capital; Buenos Aires lived through the dictatorships of the 1970s and 1980s and their legacy of state terror and disappearances; and New (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  16.  53
    Interactively human: Sharing time, constructing materiality.Andreas Roepstorff - 2013 - Behavioral and Brain Sciences 36 (3):224-225.
    Predictive processing models of cognition are promising an elegant way to unite action, perception, and learning. However, in the current formulations, they are species-unspecific and have very little particularly human about them. I propose to examine how, in this framework, humans can be able to massively interact and to build shared worlds that are both material and symbolic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  17.  40
    Democratic Education in the Mode of Populism.Andreas Mårdh & Ásgeir Tryggvason - 2017 - Studies in Philosophy and Education 36 (6):601-613.
    This paper seeks to bring John Dewey’s pragmatist philosophy of democratic education and the public into dialogue with Ernesto Laclau’s theory of populism. Recognizing populism as an integral aspect of democracy, rather than as its antithesis, the purpose of this paper is to provide a theoretical account of populism as being of educational relevance in two respects. First, it argues that the populist logic specifies a set of formal elements by which democratic education could operate as a collective enterprise. Second, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18.  68
    Domination without Inequality? Mutual Domination, Republicanism, and Gun Control.Andreas T. Schmidt - 2018 - Philosophy and Public Affairs 46 (2):175-206.
  19.  20
    Near coherence of filters. III. A simplified consistency proof.Andreas Blass & Saharon Shelah - 1989 - Notre Dame Journal of Formal Logic 30 (4):530-538.
  20.  27
    Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results.Andreas Weiermann - 2005 - Annals of Pure and Applied Logic 136 (1):189-218.
    This paper is intended to give for a general mathematical audience a survey of intriguing connections between analytic combinatorics and logic. We define the ordinals below ε0 in non-logical terms and we survey a selection of recent results about the analytic combinatorics of these ordinals. Using a versatile and flexible compression technique we give applications to phase transitions for independence results, Hilbert’s basis theorem, local number theory, Ramsey theory, Hydra games, and Goodstein sequences. We discuss briefly universality and renormalization issues (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  21.  6
    Zenon von Kition: Positionen u. Probleme.Andreas Graeser - 1975 - New York: de Gruyter.
  22.  22
    Carnaps Wissenschaftslogik: eine Untersuchung zur Zweistufenkonzeption.Holger Andreas - 2007 - Paderborn: Mentis.
    Als Wissenschaftslogik bezeichnet Carnap jene Disziplin, welche die Nachfolge der traditionellen Philosophie im 20. Jahrhundert antreten sollte. Den zentralen Bezugspunkt von Carnaps wissenschaftslogischen Arbeiten bildet die von Frege und Russell entwickelte mathematische Logik. Dies gilt auch für die Zweistufenkonzeption, mit der Carnap ein allgemeines Schema zur Analyse der Bedeutung von Begriffen nichtmathematischer Theorien entwirft. Dabei wird die Abhängigkeit der begrifflichen Bedeutung von den Aussagen der jeweiligen Theorie explizit anerkannt, was eine Überwindung der Dogmen des Empirismus innerhalb des Logischen Empirismus einschlieβt. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  23. Temporal binding, binocular rivalry, and consciousness.Andreas K. Engel, Pascal Fries, Peter König, Michael Brecht & Wolf Singer - 1999 - Consciousness and Cognition 8 (2):128-51.
    Cognitive functions like perception, memory, language, or consciousness are based on highly parallel and distributed information processing by the brain. One of the major unresolved questions is how information can be integrated and how coherent representational states can be established in the distributed neuronal systems subserving these functions. It has been suggested that this so-called ''binding problem'' may be solved in the temporal domain. The hypothesis is that synchronization of neuronal discharges can serve for the integration of distributed neurons into (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   55 citations  
  24. The Bright Side of Boredom.Andreas Elpidorou - 2014 - Frontiers in Psychology 5.
    The essay argues that boredom is an affective state that monitors and regulates our behavior. Boredom informs us when we are out of tune with our interests and motivates us to engage in situations that are perceived by us as fulfilling or meaningful. Boredom is thus important. It promotes our interests by trying to keep us in touch with what we care about. And it safeguards us from emotional traps and long-term dullness. -/- .
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  25.  27
    Contingency Anxiety and the Epistemology of Disagreement.Andreas L. Mogensen - 2016 - Pacific Philosophical Quarterly 97 (4):590-611.
    Upon discovering that certain beliefs we hold are contingent on arbitrary features of our background, we often feel uneasy. I defend the proposal that if such cases ofcontingency anxietyinvolve defeaters, this is because of the epistemic significance of disagreement. I note two hurdles to our accepting thisDisagreement Hypothesis. Firstly, some cases of contingency anxiety apparently involve no disagreement. Secondly, the proposal may seem to make our awareness of the influence of arbitrary background factors irrelevant in determining whether to revise our (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  26.  45
    Gene duplications, robustness and evolutionary innovations.Andreas Wagner - 2008 - Bioessays 30 (4):367-373.
    Mutational robustness facilitates evolutionary innovations. Gene duplications are unique kinds of mutations, in that they generally increase such robustness. The frequent association of gene duplications in regulatory networks with evolutionary innovation is thus a special case of a general mechanism linking innovation to robustness. The potential power of this mechanism to promote evolutionary innovations on large time scales is illustrated here with several examples. These include the role of gene duplications in the vertebrate radiation, flowering plant evolution and heart development, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  27.  72
    Republicanism and/or Relational Egalitarianism?Andreas Bengtson - 2022 - Social Theory and Practice 48 (4):629-645.
    What is the relationship between republicanism and relational egalitarianism? According to Andreas Schmidt, republicanism, in particular Pettit’s theory of republicanism, is able to capture some relations as objectionable which relational egalitarianism cannot, to wit, relations of mutual domination. This shows that relational egalitarianism is inadequate. In this paper, I explore the relationship between republicanism and relational egalitarianism and argue, first, that Schmidt is wrong. Relational egalitarianism, on a plausible understanding, does object to relations of mutual domination. I then argue (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  5
    Climate Negotiations and How to build Sustainability into our DNA.Andreas Carlgren - 2018 - Heythrop Journal 59 (6):901-913.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  4
    Flucht und Migration.Andreas Cassee & Anna Goppel - 2011 - In Ralf Stoecker, Christian Neuhäuser & Marie-Luise Raters (eds.), Handbuch Angewandte Ethik. Stuttgart: Verlag J.B. Metzler. pp. 621-627.
    Dieses Kapitel gibt einen Überblick über philosophische Debatten zum Umgang mit menschlicher Mobilität über nationalstaatliche Grenzen. Dabei wird zum einen auf die Diskussion über ein staatliches Recht auf Ausschluss bzw. ein individuelles Recht auf Einwanderung eingegangen, zum anderen wird die Frage beleuchtet, wer aufgrund einer besonderen Bedrohungslage im Herkunftsland einen Anspruch auf Aufnahme hat und wie Pflichten zur Aufnahme von Geflüchteten unter den Staaten zu verteilen sind.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  8
    Trade, Exploitation, and the Problem of Unequal Opportunity Costs.Andreas Cassee - 2022 - Moral Philosophy and Politics 9 (1):31-50.
    This paper assesses the ‘power-induced failure of reciprocity’ account of exploitation in the domain of trade. I argue that its proponents face a dilemma. Either the cost variable of reciprocity is understood to include opportunity costs. Then, the account implausibly implies that those with more valuable outside options should get a larger part of the overall benefits of cooperation. Or the cost variable is understood to exclude opportunity costs. Then, the account has awkward implications in cases where direct costs and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  6
    Geschichte als Entwicklung?: zur Kritik des geschichtsphilosophischen Entwicklungsdenkens.Andreas Cesana - 1988 - New York: De Gruyter.
    In der 1970 gegr ndeten Reihe erscheinen Arbeiten, die philosophiehistorische Studien mit einem systematischen Ansatz oder systematische Studien mit philosophiehistorischen Rekonstruktionen verbinden. Neben deutschsprachigen werden auch englischsprachige Monographien ver ffentlicht. Gr ndungsherausgeber sind: Erhard Scheibe (Herausgeber bis 1991), G nther Patzig (bis 1999) und Wolfgang Wieland (bis 2003). Von 1990 bis 2007 wurde die Reihe von J rgen Mittelstra mitherausgegeben.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Werdende Existenz. Zur Geschichtsphilosophie von Karl Jaspers.Andreas Cesana - 1984 - Philosophisches Jahrbuch 91 (2):341-357.
    No categories
     
    Export citation  
     
    Bookmark  
  33.  2
    Zur Mythosdiskussion in der Philosophie.Andreas Cesana - 1993 - In Fritz Graf (ed.), Mythos in Mythenloser Gesellschaft: Das Paradigma Roms. De Gruyter. pp. 305-323.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  17
    Connexivity and the Pragmatics of Conditionals.Andreas Kapsner - 2022 - Erkenntnis 87 (6):2745-2778.
    In this paper, I investigate whether the intuitions that make connexive logics seem plausible might lie in pragmatic phenomena, rather than the semantics of conditional statements. I conclude that pragmatics indeed underwrites these intuitions, at least for indicative statements. Whether this has any effect on logic choice (and what that effect might be), however, heavily depends on one’s semantic theory of conditionals and on how one chooses to logically treat pragmatic failures.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Against the Statistical Account of Special Science Laws.Andreas Hüttemann & Alexander Reutlinger - 2013 - In Vassilios Karakostas & Dennis Dieks (eds.), Recent Progress in Philosophy of Science: Perspectives and Foundational Problems. The Third European Philosophy of Science Association Proceedings. Springer. pp. 181-192.
    John Earman and John T. Roberts advocate a challenging and radical claim regarding the semantics of laws in the special sciences: the statistical account. According to this account, a typical special science law “asserts a certain precisely defined statistical relation among well-defined variables” and this statistical relation does not require being hedged by ceteris paribus conditions. In this paper, we raise two objections against the attempt to cash out the content of special science generalizations in statistical terms.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  15
    Institutionalizing global governance: the role of the United Nations Global Compact.Andreas Rasche & Dirk Ulrich Gilbert - 2011 - Business Ethics 21 (1):100-114.
    The United Nations Global Compact – which is a Global Public Policy Network advocating 10 universal principles in the areas of human rights, labor standards, environmental protection, and anticorruption – has turned into the world's largest corporate responsibility initiative. Although the Global Compact is often characterized as a promising way to address global governance gaps, it remains largely unclear why this is the case. To address this problem, we discuss to what extent the initiative represents an institutional solution to exercise (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  37.  14
    Republican democracy: liberty, law and politics.Andreas Niederberger & Philipp Schink (eds.) - 2013 - Edinburgh: Edinburgh University Press.
    This book explores the relationship between democracy and republicanism, and its consequences; and articulates new theoretical insights into connections between liberty, law and democratic politics.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  38.  58
    Distributed robustness versus redundancy as causes of mutational robustness.Andreas Wagner - 2005 - Bioessays 27 (2):176-188.
  39. Causality in complex systems.Andreas Wagner - 1999 - Biology and Philosophy 14 (1):83-101.
    Systems involving many interacting variables are at the heart of the natural and social sciences. Causal language is pervasive in the analysis of such systems, especially when insight into their behavior is translated into policy decisions. This is exemplified by economics, but to an increasing extent also by biology, due to the advent of sophisticated tools to identify the genetic basis of many diseases. It is argued here that a regularity notion of causality can only be meaningfully defined for systems (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  40.  20
    Phase transition thresholds for some Friedman-style independence results.Andreas Weiermann - 2007 - Mathematical Logic Quarterly 53 (1):4-18.
    We classify the phase transition thresholds from provability to unprovability for certain Friedman-style miniaturizations of Kruskal's Theorem and Higman's Lemma. In addition we prove a new and unexpected phase transition result for ε0. Motivated by renormalization and universality issues from statistical physics we finally state a universality hypothesis.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  41.  30
    A Logic Of Trust And Reputation.Andreas Herzig, Emiliano Lorini, Jomi Hübner & Laurent Vercouter - 2010 - Logic Journal of the IGPL 18 (1):214-244.
    The aim of this paper is to present a logical framework in which the concepts of trust and reputation can be formally characterized and their properties studied. We start from the definition of trust proposed by Castelfranchi & Falcone . We formalize this definition in a logic of time, action, beliefs and choices. Then, we provide a refinement of C&F’s definition by distinguishing two general types of trust: occurrent trust and dispositional trust. In the second part of the paper we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  42.  21
    Heidegger und das Denken der Technik.Andreas Luckner - 2008 - Bielefeld: Transcript.
  43. How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study.Andreas Weiermann - 1998 - Journal of Symbolic Logic 63 (4):1348-1370.
    Inspired by Pohlers' local predicativity approach to Pure Proof Theory and Howard's ordinal analysis of bar recursion of type zero we present a short, technically smooth and constructive strong normalization proof for Gödel's system T of primitive recursive functionals of finite types by constructing an ε 0 -recursive function [] 0 : T → ω so that a reduces to b implies [a] $_0 > [b]_0$ . The construction of [] 0 is based on a careful analysis of the Howard-Schütte (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  44.  16
    Generalized balanced power diagrams for 3D representations of polycrystals.Andreas Alpers, Andreas Brieden, Peter Gritzmann, Allan Lyckegaard & Henning Friis Poulsen - 2015 - Philosophical Magazine 95 (9):1016-1028.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  45.  17
    Anti-intuitionism and paraconsistency.Andreas B. M. Brunner & Walter A. Carnielli - 2005 - Journal of Applied Logic 3 (1):161-184.
  46.  84
    The status of the "material" in theories of culture: From "social structure" to "artefacts".Andreas Reckwitz - 2002 - Journal for the Theory of Social Behaviour 32 (2):195–217.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  47. Nudging as a Threat to Privacy.Andreas Kapsner & Barbara Sandfuchs - 2015 - Review of Philosophy and Psychology 6 (3):455-468.
    Nudges can pose serious threats to citizens’ privacy. The essay discusses several examples of nudges that must appear problematic to anyone valuing privacy. The paper also re-draws a well established connection between privacy and autonomy and argues that insofar as nudges incur too great a loss of privacy, they are incompatible with the libertarianism that libertarian paternalism is committed to by virtue of its very name.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  9
    Braucht die Kantische Rechtsphilosophie die Menschenwürde?Andreas Niederberger - 2018 - In Reza Mosayebi (ed.), Kant Und Menschenrechte. De Gruyter. pp. 81-100.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  16
    Healthy Mistrust: Medical Black Box Algorithms, Epistemic Authority, and Preemptionism.Andreas Wolkenstein - forthcoming - Cambridge Quarterly of Healthcare Ethics:1-10.
    In the ethics of algorithms, a specifically epistemological analysis is rarely undertaken in order to gain a critique (or a defense) of the handling of or trust in medical black box algorithms (BBAs). This article aims to begin to fill this research gap. Specifically, the thesis is examined according to which such algorithms are regarded as epistemic authorities (EAs) and that the results of a medical algorithm must completely replace other convictions that patients have (preemptionism). If this were true, it (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  42
    How to characterize provably total functions by local predicativity.Andreas Weiermann - 1996 - Journal of Symbolic Logic 61 (1):52-69.
    Inspired by Pohlers' proof-theoretic analysis of KPω we give a straightforward non-metamathematical proof of the (well-known) classification of the provably total functions of $PA, PA + TI(\prec\lceil)$ (where it is assumed that the well-ordering $\prec$ has some reasonable closure properties) and KPω. Our method relies on a new approach to subrecursion due to Buchholz, Cichon and the author.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 999