Buchholz’s Ω μ+1-rules provide a major tool for the proof-theoretic analysis of arithmetical inductive definitions. The aim of this paper is to put this approach into the new context of modal fixed point logic. We introduce a deductive system based on an Ω-rule tailored for modal fixed point logic and develop the basic techniques for establishing soundness and completeness of the corresponding system. In the concluding section we prove a cut elimination and collapsing result similar to that of (...) Buchholz (Iterated inductive definitions and subsystems of analysis: recent proof theoretic studies. Lecture notes in mathematics, vol. 897, pp. 189–233, Springer, Berlin, 1981). (shrink)

People who teach business ethics seem locked between two general approaches: an applied philosophy approach that emphasizes the application of abstract ethical theories and principles to specific cases, and the case method approach that leaves the students without any more general theoretical framework with which to approach ethical issues. Classical American Pragmatism, understood as a school of philosophical thought, links these two approaches by providing a new grounding for moral theory in which moral rules are understood as working hypotheses abstracted (...) from concrete situations and moralreasoning demands the return to concrete situations as the foundation for moral decision making that is inherently contextual. Thus moral decision making is bottom up rather than top down, and a sense of moral rightness comes not from the indoctrination of abstract principles but from attunement to the way in which moral beliefs and practices must be rooted naturally in the very conditions of human existence. (shrink)

Machine learning operates at the intersection of statistics and computer science. This raises the question as to its underlying methodology. While much emphasis has been put on the close link between the process of learning from data and induction, the falsificationist component of machine learning has received minor attention. In this paper, we argue that the idea of falsification is central to the methodology of machine learning. It is commonly thought that machine learning algorithms infer general prediction rules from past (...) observations. This is akin to a statistical procedure by which estimates are obtained from a sample of data. But machine learning algorithms can also be described as choosing one prediction rule from an entire class of functions. In particular, the algorithm that determines the weights of an artificial neural network operates by empirical risk minimization and rejects prediction rules that lack empirical adequacy. It also exhibits a behavior of implicit regularization that pushes hypothesis choice toward simpler prediction rules. We argue that taking both aspects together gives rise to a falsificationist account of artificial neural networks. (shrink)

Zusammenfassung Aus juristischer Perspektive wird die in der Satzung des Deutschen Fußball-Bundes e. V. verankerte ‚50+1‘-Regelung kritisiert, weil sie zu Unterschieden in der Kapitalbeschaffung und zu begrenzter Wettbewerbsfähigkeit gegenüber dem europäischen Ausland führt. Laut europäischem Recht sind jedoch wettbewerbsbeschränkende Maßnahmen verboten und eine Kapital- und Niederlassungsfreiheit vorgeschrieben. In dieser Studie wird ein umfassender Lösungsansatz für eine neuartige Regelung aufgezeigt, die auf die Rechtskonformität abzielt und gleichermaßen ökonomische und gesellschaftliche Aspekte kombiniert, sodass die Integrität des Fußballsports gewahrt und die Verbindung zwischen (...) Breiten- und Spitzensport erhalten bleiben. Basierend auf derzeitig geltenden Regularien der Top 5 Fußballligen in Europa wird herausgestellt, dass die Gesellschaftsform der Kommanditgesellschaft auf Aktien Kapitalinvestitionen in Einklang mit geltendem Europarecht bringt. Um nicht gegen den allgemeinen vereinsrechtlichen Gleichbehandlungsgrundsatz zu verstoßen, sollten allerdings keine weiteren Gesellschaftsformen zugelassen werden. Des Weiteren werden die Notwendigkeit und Umsetzungsmöglichkeit des Verbots von Mehrfachbeteiligungen, einem dezentralen Vermarktungssystem der Fernsehrechte mit anschließender Umverteilung, einer Orientierung an internationalen Rechnungslegungsvorschriften und der Einführung von Gehaltsbegrenzungen erörtert. (shrink)

We shall give a direct proof of the independence result of a Buchholz style-Hydra Game on labeled finite trees. We shall show that Takeuti-Arai's cut-elimination procedure of $(\Pi^{1}_{1}-CA) + BI$ and of the iterated inductive definition systems can be directly expressed by the reduction rules of Buchholz's Hydra Game. As a direct corollary the independence result of the Hydra Game follows.

The Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document}-rule was introduced by W. Buchholz to give an ordinal-free proof of cut-elimination for a subsystem of analysis with Π11\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi ^{1}_{1}$$\end{document}-comprehension. W. Buchholz’s proof provides cut-free derivations by familiar rules only for arithmetical sequents. When second-order quantifiers are present, they are introduced by the Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document}-rule and some (...) residual cuts are not eliminated. In the present paper, we introduce an extension of the Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document}-rule and prove the complete cut-elimination by the same method as W. Buchholz: any derivation of arbitrary sequent is transformed into its cut-free derivation by the standard rules. In fact we treat the subsystem of Π11\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi ^{1}_{1}$$\end{document}-CA that W. Buchholz used for his explanation of G. Takeuti’s finite reductions. Extension to full Π11\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi ^{1}_{1}$$\end{document}-CA is planned for another paper. (shrink)

Inspired from Buchholz' ordinal analysis of ID1 and Beckmann's analysis of the simple typed λ-calculus we classify the derivation lengths for Gödel's system T in the λ-formulation.

The technique of using infinitary rules in an ordinal analysis has been one of the most productive developments in ordinal analysis. Unfortunately, one of the most advanced variants, the Buchholz Ωμ rule, does not apply to systems much stronger than -comprehension. In this paper, we propose a new extension of the Ω rule using game-theoretic quantifiers. We apply this to a system of inductive definitions with at least the strength of a recursively inaccessible ordinal.

Buchholz presented a method to build notation systems for infinite sequent-style derivations, analogous to well-known systems of notation for ordinals. The essential feature is that from a notation one can read off by a primitive recursive function its n th predecessor and, e.g. the last rule applied. Here we extend the method to the more general setting of infinite terms, in order to make it applicable in other proof-theoretic contexts as well as in recursion theory. As examples, we (...) use the method to 1. give a new proof of a well-known trade-off theorem , which says that detours through higher types can be eliminated by the use of transfinite recursion along higher ordinals, and 2. construct a continuous normalization operator with an explicit modulus of continuity. (shrink)

We present a general schema of easy normalization proofs for finite systems S like first-order arithmetic or subsystems of analysis, which have good infinitary counterparts S ∞ . We consider a new system S ∞ + with essentially the same rules as S ∞ but different derivable objects: a derivation d∈S ∞ + of a sequent Γ contains a derivation Φ∈S of Γ . Three simple conditions on Φ including a normal form theorem for S ∞ + easily imply a (...) weak normalization theorem for S . We give three examples of application of this schema. First, we take S≡PA but restrict the attention to derivations of Σ 1 0 -sentences. In this case it is possible to take S ∞ + to be essentially standard formulation of PA ∞ . Next, we illustrate extension to subsystems of analysis and consider the system BI 1 ∗ of W. Buchholz having the strength of ID 1 , again for derivations of Σ 1 0 -sentences. Finally, we return to the first-order arithmetic to illustrate changes needed to treat derivations of arbitrary formulas. (shrink)

We present an extension of Heyting arithmetic in finite types called Uniform Heyting Arithmetic that allows for the extraction of optimized programs from constructive and classical proofs. The system has two sorts of first-order quantifiers: ordinary quantifiers governed by the usual rules, and uniform quantifiers subject to stronger variable conditions expressing roughly that the quantified object is not computationally used in the proof. We combine a Kripke-style Friedman/Dragalin translation which is inspired by work of Coquand and Hofmann and a variant (...) of the refined A-translation due to Buchholz, Schwichtenberg and the author to extract programs from a rather large class of classical first-order proofs while keeping explicit control over the levels of recursion and the decision procedures for predicates used in the extracted program. (shrink)

Building on previous work by Mints, Buchholz and Schwichtenberg, a simplified version of continuous normalization for the untyped λ-calculus and Gödel’s is presented and analysed in the coalgebraic framework of non-wellfounded terms with so-called repetition constructors.The primitive recursive normalization function is uniformly continuous w.r.t. the natural metric on non-wellfounded terms. Furthermore, the number of necessary repetition constructors is locally related to the number of reduction steps needed to reach the normal form and its size.It is also shown how continuous (...) normal forms relate to derivations of strong normalizability in the typed λ-calculus and how this leads to new bounds for the sum of the height of the reduction tree and the size of the normal form.Finally, the methods are extended to an infinitary λ-calculus with ω-rule and permutative conversions and this is used to derive a strong form of normalization for an iterative version of Gödel’s system , leading to a value table semantics for number-theoretic functions. (shrink)

Corroborating upper echelons theory, this study picks up the notion that narcissistic chief executive officers take advantage of accounting choices to enhance their firms’—and inherently their own—personal track records. Using a set of 15 indicators, reflecting the narcissistic trait of 1126 CEOs for the period 1992 to 2012, we find evidence of highly narcissistic CEOs engaging in accrual-based earnings management. In contrast to prior research, the results show evidence not only for income-increasing but also for income-decreasing ABEM. This indicates that (...) highly narcissistic CEOs not only strive to influence stakeholders’ perception of current performance. We conclude that they also assess their potential to influence perception of current and future earnings. The results imply that highly narcissistic CEOs’ accounting choices are driven by self-serving behavior rather than by the intention to provide additional information to the market. When earnings management techniques are used to derive personal advantage from the presentation of a firm’s earnings, the literature refers to this as a case of low earnings quality reflecting unethical behavior. Accordingly, this study contributes to the field of business ethics by showing that CEO narcissism is related to low earnings quality in that it is associated to discretionarily decreasing accruals. (shrink)

. Atomic individualism is embedded in most definitions of stakeholder theory, and as a result, stakeholders are not integral to the basic identity of the corporation which is considered to be independent of, and separate from, its stakeholders. Feminist theory has been suggested as a way of developing a more relational view of the corporation and its stakeholders, but it lacks a systematically developed conceptual framework for undergirding its own insights. Pragmatic philosophy is offered as a way of providing this (...) theoretical undergirding for . a relational understanding of the firm and its stakeholders. (shrink)

This chapter contains sections titled: Corporate social responsibility Corporate social responsiveness Public policy The development of business ethics New developments in business ethics Conclusion.

Classical Soviet Marxism-Leninism is in the process of dissolution, with some parts of the ideology being rejected, others retained in one form or another, and new components being adopted. At the same time, a wide-ranging pluralism of new objectives and forms of consciousness has emerged in Soviet intellectual life. Since both the motives for restructuring and also the braking effects acting on the process of perestrojka are significantly dependent upon intellectual and ideological developments, attentive observations of these developments is of (...) particular importance for the assessment of the evolutionary propects of the Soviet Union. At present the situation on the ideological-intellectual front can be characterized as follows:1. Although official changes in the ideology did not begin until 1989 they have caught up to the initial perestrojka in political and cultural life. 2. Perestrojka has continually waned in importance as an ideological by-word largely under the influence of Gorbachv''s new thinking which has turned attention to the dramatic history of the Soviet Union and the plight of the human individual in a society with few prospects for the future. 3. In philosophy the new textbook published in 1989/90 introduces a series of crucial innovations that put paid to a number of classical shibboleths of the Marxist-Leninist world view. 4. Academic philosophy has shifted more and more to a reexamination of the history of philosophy as well as to a reappraisal of pre-revolutionary Russian thought. 5. The critique of Stalinism has gradually given way to a critique of Marxist principles generally, and even Lenin has become the subject of criticism. 6. Fast on the heels of the new thinking and the ideological deconstruction come the voices of political orientations whose differences are so pronounced as to have warranted the compilation of an Atlas of ideologies. 7. The search for a new moral identity has concentrated on three sources: the reestablishment of links with classical Russian culture, the renewal of links with Europe, and the deep-seated need to commit oneself to some ideal for sacrifice. 8. The economic crisis has produced attitudes hostile to individual gain and speculation. 9. Given the nature of the Soviet crisis intellectual cooperation with the West has to take forms which promote the rekindling of a sense of all-human awareness of the transcendent and reinforce the experience of common humanity. 10. The establishment of all-European academic institutions designed in their very structure to engage in mutual cooperation could have a catalytic effect on the reconfiguration of Europe. (shrink)

Explainable artificial intelligence (XAI) seeks to produce explanations for those machine learning methods which are deemed opaque. However, there is considerable disagreement about what this means and how to achieve it. Authors disagree on what should be explained (topic), to whom something should be explained (stakeholder), how something should be explained (instrument), and why something should be explained (goal). In this paper, I employ insights from means-end epistemology to structure the field. According to means-end epistemology, different means ought to be (...) rationally adopted to achieve different epistemic ends. Applied to XAI, different topics, stakeholders, and goals thus require different instruments. I call this the means-end account of XAI. The means-end account has a descriptive and a normative component: on the one hand, I show how the specific means-end relations give rise to a taxonomy of existing contributions to the field of XAI; on the other hand, I argue that the suitability of XAI methods can be assessed by analyzing whether they are prescribed by a given topic, stakeholder, and goal. (shrink)

Machine learning (ML) models recently led to major breakthroughs in predictive tasks in the natural sciences. Yet their benefits for the social sciences are less evident, as even high-profile studies on the prediction of life trajectories have shown to be largely unsuccessful – at least when measured in traditional criteria of scientific success. This paper tries to shed light on this remarkable performance gap. Comparing two social science case studies to a paradigm example from the natural sciences, we argue that, (...) in addition to explanation, prediction is an important goal of social science – and we identify constraints that impede pure ML prediction from being successful in that field. As a remedy, we outline elements of an integrative modelling approach that combines explanatory models and predictive ML models. (shrink)

In this article we give a unifying approach to the theory of fundamental sequences and their related Hardy hierarchies of number-theoretic functions and we show the equivalence of the new approach with the classical one.

Background Concepts of health have been widely discussed in the philosophy and ethics of medicine. Parallel to these theoretical debates, numerous empirical research projects have focused on subjective concepts of health and shown their significance for individuals and society at various levels. Only a few studies have so far investigated the concepts of health of non-professionals and professionals involved in long-term home care and discussed these empirical perspectives regarding moral responsibilities. Objectives To identify the subjective concepts of the health of (...) non-professionals (care recipients, informal caregivers) and professionals (registered nurses) involved in long-term home care and to discuss them against the background of existing normative guidelines addressing non-professionals and professionals’ responsibilities and rights concerning health. Research design A qualitative design was chosen to explore subjective concepts of health. Data were collected by semi-structured interviews; content analysis was applied according to Mayring. Participants and research context Twenty-eight interviews were conducted with non-professionals and professionals in long-term home care arrangements in Northern Germany. Ethical considerations Ethics approval was obtained from the Institutional Review Board at the University Medicine Greifswald (BB123/16). Findings Non-professionals and professionals consider health as a capability that enables them to participate in social activities and live their own lives according to their preferences. The former regard health particularly as a feeling and an attitude, the latter as the absence of disease with a focus on mental and emotional well-being. Both groups highlight the unsurpassable value of health and the personal responsibility for it. Discussion Normative guidelines applicable to practice in long-term home care discuss responsibilities and rights unevenly and raise several problems regarding non-professionals and professionals’ subjective concepts of health. Conclusion Individuals’ concepts of health are relevant for the subsequent interpretation of rights and responsibilities and should, thus, be reflected upon to address health-related needs effectively. (shrink)

In this paper we give a new and comparatively simple proof of the following theorem by Girard [1]:“If ∀x∈ ${\cal O}$ ∃y∈ ${\cal O}$ ψ(x,y) (where the relationψ is arithmetic and positive in Kleene's ${\cal O}$ ), then there exists a recursive DilatorD such that ∀α≧ω∀x∈ ${\cal O}$ <α∃y∈ ${\cal O}$ (...) modification of Girard's system in [1]) we construct in a uniform way for each ordinalα a derivation Tα of the formula ∀x ∈ ${\cal O}$ <α∃y∈ ${\cal O}$ ψ(x, y), and then defineD immediately from the family (Tα)α∈On. Especially we set D(α):=Kleene-Brouwer length of (Tα). (shrink)

At the heart of entrepreneurship are imagination, creativity, novelty, and sensitivity. It takes these qualities to develop a new product or service and bring it to market, to envision the possible impacts a new product may make and come up with novel and creative solutions to problems that may arise. These qualities go to make up what could be called the spirit of entrepreneurship, a spirit that involves the ability to handle the experimental nature of entrepreunerial activity. These same qualities (...) are crucial for moral decision making, and an ethical approach which emphasizes imagination, creativity, and has an experimental thrust is much better adapted to the entrepreneurial activity and much more relevant to the unique situations that entrepreneurs face. In this sense, the process approach to ethics developed in this article is a unifying framework that brings together the activity of entrepreneurship and moral decision making. (shrink)

Quantitative research has called attention to the burden associated with informal caregiving in home nursing arrangements. Less emphasis has been placed, however, on care recipients’ subjective feelings of being a burden and on caregivers’ willingness to carry the burden in home care. This article uses empirical material from semi‐structured interviews conducted with older people affected by multiple chronic conditions and in need of long‐term home care, and with informal and professional caregivers, as two groups of relevant others. The high burden (...) of home‐care arrangements is unanimously stressed by all three groups involved in the triangle of care. An empirical‐ethical investigation of what can be legitimately expected from family members and informal caregivers, informed by Frith's symbiotic empirical ethics approach, was undertaken. Key tenets from the special goods theory and nursing professionalism are used as analytical tools. The study concludes that the current situation may hinder professional development and can reinforce feelings of being a burden to relevant others. (shrink)

Methods of machine learning (ML) are gradually complementing and sometimes even replacing methods of classical statistics in science. This raises the question whether ML faces the same methodological problems as classical statistics. This paper sheds light on this question by investigating a long-standing challenge to classical statistics: the reference class problem (RCP). It arises whenever statistical evidence is applied to an individual object, since the individual belongs to several reference classes and evidence might vary across them. Thus, the problem consists (...) in choosing a suitable reference class for the individual. I argue that deep neural networks (DNNs) are able to overcome specific instantiations of the RCP. Whereas the criteria of narrowness, reliability, and homogeneity, that have been proposed to determine a suitable reference class, pose an inextricable tradeoff to classical statistics, DNNs are able to satisfy them in some situations. On the one hand, they can exploit the high dimensionality in big-data settings. I argue that this corresponds to the criteria of narrowness and reliability. On the other hand, ML research indicates that DNNs are generally not susceptible to overfitting. I argue that this property is related to a particular form of homogeneity. Taking both aspects together reveals that there are specific settings in which DNNs can overcome the RCP. (shrink)

Using the concept of notations for infinitary derivations we give an explanation of Takeuti's reduction steps on finite derivations (used in his consistency proof for Π1 1-CA) in terms of the more perspicious infinitary approach from [BS88].

This article is an attempt to examine Christoph Menke’s critical theory of modern bourgeois law through the lenses of analytic jurisprudence. We therefore scrutinize some core concepts from his Critique of Rights in order to gain a better understanding of the so-called “new law” which is presented as a theoretical alternative to the allegedly defective law of ius proprium-rights [Eigenrechte]. In the first part, we sharpen Menke’s concept of normativity with a reason-based approach and by using the metaethical notions of (...) formal and robust normativity. This sets the stage for analyzing his brand-new concept of counter-rights [Gegenrechte] in the second part. We identify a whole archipelago of meanings for it and group them by considering potential mereological relations between ius proprium-rights and counter-rights. Our mapping turns out to be fruitful in shedding new light on an already known dilemma for the concept of counter-rights. The final section delivers a sketch of the implementation challenge for counter-rights: How can we achieve a “new law”? We distinguish several conceptions of a corresponding utopia and criticize Menke for resorting to a construction that is based on a fiction. (shrink)

The paper presents a refined method of extracting reasonable and sometimes unexpected programs from classical proofs of formulas of the form ∀x∃yB . We also generalize previously known results, since B no longer needs to be quantifier-free, but only has to belong to a strictly larger class of so-called “goal formulas”. Furthermore we allow unproven lemmas D in the proof of ∀x∃yB , where D is a so-called “definite” formula.

This paper will build on a recent article appearing in the Harvard Business Review that blamed the alleged crisis in management education on the scientific model that has been adopted as the sole means of gaining knowledge about human behavior and organizations. The solution, they argue, is for business schools to realize that business management is not a scientific discipline but a profession, and deal with the things a professional education requires. We will expand on this article and discuss its (...) implications by looking at the scientific model from a philosophical perspective and dealing with the issue of whether management is a profession. Our discussion of these issues has implications for our understanding of business in society and the design of the business school curriculum. (shrink)

Unique in both perspective and approach, this is the first book to use classical American pragmatism as an ethical framework for dealing with ethical issues in business. The book first explores ethical theory from both the traditional and pragmatic perspectives. Then, using the pragmatic perspective, discusses the nature of the corporation and its relationship to society, the various environments in which business functions, and specific issues in the contemporary marketplace and workplace.

Integrating "ethics all the way through" an organization suggests that the issue of moral agency and the corporation be reconsidered. Is the corporation a moral agent in some sense or is it no more than the people who are a part of the organization? Views which stress the role of the individual lose sight of the whole corporate entity, and views which think of the corporation as a collective lose sight of the individual. A view which rejects both these alternatives (...) sees the corporation as a type of community where there is a dynamic tension between the corporation as a whole and the individuals who are part of the organization. This view has implications relative to the focus of efforts to integrate ethics throughout an organization. (shrink)

In this article we prove that a certain intuitionistic version of the well-known fixed point theory \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\widehat{\rm ID}_1$\end{document} is conservative over \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\mbox{\sf HA}$\end{document} for almost negative formulas.

Nach einem Überblick über die Unterscheidung von Pausen, Schweigen und Stille und einer knappen Diskussion älterer Auffassungen zum Schweigen in therapeutischen Sitzungen wird ein theoretischer Bezugsrahmen entworfen. Danach sind Pausen nicht Gegensatz, sondern Element der Konversation und sie können nicht individuell zugerechnet werden, weil der andere sie gewährt. Das unterscheidet sie vom Schweigen. Es werden Transkriptbeispiele therapeutischer Situationen analysiert, in denen Pausen vorkommen. Sie lassen sich als Folgen von Ereignissen vor der Pause analysieren. Der theoretische Hintergrund ist die Konversationsanalyse, die (...) Anschluss an neurowissenschaftliche Überlegungen zu Sprechpausen gewinnt. Gesprächsstrukturelle Momente und motivationale Zusammenhänge lassen sich auf der Annahme von Harvey Sacks, des Begründers der Konversationsanalyse, zusammenführen: Jede Konversation wird von einer stillen Dimension, die er »my-mind-is-with-you« nannte, begleitet. (shrink)

We introduce a system of simply typed lambda terms and show that a rather comprehensive class of recursion equations on streams or non-wellfounded trees can be solved in our system. Moreover certain conditions are presented which guarantee that the defined functionals are primitive recursive. As a major example we give a co-recursive treatment of Mints’ continuous cut-elimination operator.