Results for 'Dietrich Henckel'

1000+ found
Order:
  1.  69
    Urban agriculture of the future: an overview of sustainability aspects of food production in and on buildings. [REVIEW]Kathrin Specht, Rosemarie Siebert, Ina Hartmann, Ulf B. Freisinger, Magdalena Sawicka, Armin Werner, Susanne Thomaier, Dietrich Henckel, Heike Walk & Axel Dierich - 2014 - Agriculture and Human Values 31 (1):33-51.
    Innovative forms of green urban architecture aim to combine food, production, and design to produce food on a larger scale in and on buildings in urban areas. It includes rooftop gardens, rooftop greenhouses, indoor farms, and other building-related forms. This study uses the framework of sustainability to understand the role of ZFarming in future urban food production and to review the major benefits and limitations. The results are based on an analysis of 96 documents published in accessible international resources. The (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  2. Stoff und Geist.Dietrich Gutterer - 1982 - In Brigitte Scheer & Günter Wohlfart (eds.), Dimensionen der Sprache in der Philosophie des Deutschen Idealismus. Würzburg: Königshausen + Neumann.
     
    Export citation  
     
    Bookmark  
  3.  3
    Heinrich Roth oder die andere Seite der Pädagogik: Erziehungswissenschaft in der Epoche der Bildungsreform.Dietrich Hoffmann - 1995 - Weinheim: Deutscher Studien Verlag.
  4. Jury Theorems.Franz Dietrich & Kai Spiekermann - 2019 - In M. Fricker, N. J. L. L. Pedersen, D. Henderson & P. J. Graham (eds.), The Routledge Handbook of Social Epistemology. Routledge.
    We give a review and critique of jury theorems from a social-epistemology perspective, covering Condorcet’s (1785) classic theorem and several later refinements and departures. We assess the plausibility of the conclusions and premises featuring in jury theorems and evaluate the potential of such theorems to serve as formal arguments for the ‘wisdom of crowds’. In particular, we argue (i) that there is a fundamental tension between voters’ independence and voters’ competence, hence between the two premises of most jury theorems; (ii) (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5. Independent Opinions? On the Causal Foundations of Belief Formation and Jury Theorems.Franz Dietrich & Kai Spiekermann - 2013 - Mind 122 (487):655-685.
    Democratic decision-making is often defended on grounds of the ‘wisdom of crowds’: decisions are more likely to be correct if they are based on many independent opinions, so a typical argument in social epistemology. But what does it mean to have independent opinions? Opinions can be probabilistically dependent even if individuals form their opinion in causal isolation from each other. We distinguish four probabilistic notions of opinion independence. Which of them holds depends on how individuals are causally affected by environmental (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  6.  69
    Ethics.Dietrich Bonhoeffer - 1995 - New York: Simon & Schuster. Edited by Eberhard Bethge.
    The Christian does not live in a vacuum, says the author, but in a world of government, politics, labor, and marriage. Hence, Christian ethics cannot exist in a vacuum what the Christian needs, claims Dietrich Bonhoeffer, is concrete instruction in a concrete situation. Although the author died before completing his work, this book is recognized as a major contribution to Christian ethics. The root and ground of Christian ethics, the author says, is the reality of God as revealed in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   30 citations  
  7. The Premises of Condorcet’s Jury Theorem Are Not Simultaneously Justified.Franz Dietrich - 2008 - Episteme 5 (1):56-73.
    Condorcet's famous jury theorem reaches an optimistic conclusion on the correctness of majority decisions, based on two controversial premises about voters: they are competent and vote independently, in a technical sense. I carefully analyse these premises and show that: whether a premise is justi…ed depends on the notion of probability considered; none of the notions renders both premises simultaneously justi…ed. Under the perhaps most interesting notions, the independence assumption should be weakened.
    Direct download (20 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  8. Dynamically rational judgment aggregation.Franz Dietrich & Christian List - forthcoming - Social Choice and Welfare.
    Judgment-aggregation theory has always focused on the attainment of rational collective judgments. But so far, rationality has been understood in static terms: as coherence of judgments at a given time, defined as consistency, completeness, and/or deductive closure. This paper asks whether collective judgments can be dynamically rational, so that they change rationally in response to new information. Formally, a judgment aggregation rule is dynamically rational with respect to a given revision operator if, whenever all individuals revise their judgments in light (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9. Abstract rationality: the ‘logical’ structure of attitudes.Franz Dietrich, Antonios Staras & Robert Sugden - 2024 - Economics and Philosophy 40 (1):12-41.
    We present an abstract model of rationality that focuses on structural properties of attitudes. Rationality requires coherence between your attitudes, such as your beliefs, values, and intentions. We define three 'logical' conditions on attitudes: consistency, completeness, and closedness. They parallel the familiar logical conditions on beliefs, but contrast with standard rationality conditions like preference transitivity. We establish a formal correspondence between our logical conditions and standard rationality conditions. Addressing John Broome's programme 'rationality through reasoning', we formally characterize how you can (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  33
    Early mouse embryo development: could epigenetics influence cell fate determination?Amandine Henckel, Szabolcs Tóth & Philippe Arnaud - 2007 - Bioessays 29 (6):520-524.
    It is generally assumed that the developmental program of embryogenesis relies on epigenetic mechanisms. However, a mechanistic link between epigenetic marks and cell fate decisions had not been established so far. In a recent article, Torres‐Padilla and colleagues1 show that epigenetic information and, more precisely, histone arginine methylation mediated by CARM1 could contribute to cell fate decisions in the mouse 4‐cell‐stage embryo. It provides the first indications that global epigenetic information influences allocation of pluripotent cells toward the first cell lineages. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Theodoricus Teutonicus de Vriberg De iride et radialibus impressionibus: Dietrich von Freiburg Über den Regenbogen und die durch strahlen erzeugten Eindrücke.Dietrich - 1914 - Münster i. W.: Aschendorff. Edited by Joseph Würschmidt.
    No categories
     
    Export citation  
     
    Bookmark  
  12. Antagonistic Redundancy -- A Theory of Error-Correcting Information Transfer in Organisms.Johannes W. Dietrich & Bernhard O. Boehm - 2004 - In Robert Trappl (ed.), Cybernetics and Systems 2004. Wien, Österreich: pp. 225-30.
    Living organisms are exposed to numerous influencing factors. This holds also true for their infrastructures that are processing and transducing information like endocrine networks or nerval channels. Therefore, the ability to compensate for noise is crucial for survival. An efficient mechanism to neutralise disturbances is instantiated in form of parallel complementary communication channels exerting antagonistic effects at their common receivers. Different signal processing types share the ability to suppress noise, to widen the system’s regulation capacity, and to provide for variable (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  2
    Wozu in Tönen denken: historische und empirische Studien zur bildungstheoretischen Bedeutung musikalischer Autonomie.Cornelie Dietrich & Reinhard Schneider - 1998 - Kassel: G. Bosse. Edited by Reinhard Schneider.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. Why Philosophy Makes No Progress.Eric Dietrich - 2023 - Global Philosophy 33 (2):1-14.
    This paper offers an explanation for why some parts of philosophy have made no progress. Philosophy has made no progress because it cannot make progress. And it cannot because of the nature of the phenomena philosophy is tasked with explaining—all of it involves consciousness. Here, it will not be argued directly that consciousness is intractable. Rather, it will be shown that a specific version of the problem of consciousness is unsolvable. This version is the Problem of the Subjective and Objective. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  7
    Akt und sein: Transzendentalphilosophie und Ontologie in der systematischen Theologie.Dietrich Bonhoeffer - 1988 - München: Chr. Kaiser. Edited by Hans-Richard Reuter.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  3
    Die Pädagogik Peter Petersens: der Jena-Plan: Beispiel einer humanen Schule.Theo Dietrich - 1991 - Bad Heilbrunn/Obb.: J. Klinkhardt.
  17.  6
    Die Pädagogik Peter Petersens: der Jena-Plan: Modell einer humanen Schule.Theo Dietrich - 1986 - Bad Heilbrunn/Obb.: J. Klinkhardt. Edited by Theo Dietrich.
  18.  4
    Logik, Bedeutung und Mathematik: die Konstruktion einer Fundamentalsprache der Wissenschaften.Dietrich Marsal - 1987 - Stuttgart: E. Schweizerbart.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  14
    Critique and Negativity: Towards the Pluralisation of Critique in Educational Practice, Theory and Research.Dietrich Benner & Andrea English - 2004 - Journal of Philosophy of Education 38 (3):409-428.
    There are many possible ways to approach the topic of educational theory and critique. One could inquire into the meaning of critical phenomena and subject-matter in practical education and instruction, investigate the various forms of critique with the goal of determining the extent to which they assist in clarifying pedagogical action, or one could ask: ‘What is meant by critical educational research?’ and ‘How do the various approaches to this topic relate to one another?’. This article inquires into the relationship (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  20.  5
    Opera omnia.Kurt Dietrich & Flasch - 1977 - Hamburg: Meiner. Edited by Kurt Flasch.
    Tomus 1. Schriften zur Intellekttheorie.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  5
    Die Prägnanz der Religion in der Kultur: Ernst Cassirer und die Theologie.Dietrich Korsch & Enno Rudolph (eds.) - 2000 - Tübingen: Mohr Siebeck.
    English summary: Ernst Cassirer's philosophy of culture provides surprising insights into the relationship between culture and religion. The authors of the articles in this volume discuss the controversial question of whether and how religion can be an integral part of human culture. German description: Der Philosoph Ernst Cassirer ist zu einer Schlusselgestalt kulturwissenschaftlicher Diskurse der Gegenwart geworden. Im Mittelpunkt des Interesses steht sein Begriff der symbolischen Form, der unterschiedliche Felder der Kultur miteinander zu verknupfen erlaubt. Dieser Gedanke der symbolischen Form, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. Fully Bayesian Aggregation.Franz Dietrich - 2021 - Journal of Economic Theory 194:105255.
    Can a group be an orthodox rational agent? This requires the group's aggregate preferences to follow expected utility (static rationality) and to evolve by Bayesian updating (dynamic rationality). Group rationality is possible, but the only preference aggregation rules which achieve it (and are minimally Paretian and continuous) are the linear-geometric rules, which combine individual values linearly and combine individual beliefs geometrically. Linear-geometric preference aggregation contrasts with classic linear-linear preference aggregation, which combines both values and beliefs linearly, but achieves only static (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23. Ethische Probleme der Wissenschaft.Dietrich Wahl (ed.) - 1978 - Berlin: Akademie Verlag.
  24. Mentalism versus Behaviourism in Economics: A Philosophy-of-Science Perspective.Franz Dietrich & Christian List - 2016 - Economics and Philosophy 32 (2):249-281.
    Behaviourism is the view that preferences, beliefs, and other mental states in social-scientific theories are nothing but constructs re-describing people's behaviour. Mentalism is the view that they capture real phenomena, on a par with the unobservables in science, such as electrons and electromagnetic fields. While behaviourism has gone out of fashion in psychology, it remains influential in economics, especially in ‘revealed preference’ theory. We defend mentalism in economics, construed as a positive science, and show that it fits best scientific practice. (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  25.  4
    Markt: Religion und Moral des Marktes.Dietrich Zillessen (ed.) - 2002 - Münster: Lit.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  1
    Philosophenlexikon.Dietrich Alexander & Erhard Lange (eds.) - 1982 - Westberlin: Verlag Das Europäische Buch.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. (Mis)interpreting Mathematical Models: Drift as a Physical Process.Michael R. Dietrich, Robert A. Skipper Jr & Roberta L. Millstein - 2009 - Philosophy, Theory, and Practice in Biology 1 (20130604):e002.
    Recently, a number of philosophers of biology have endorsed views about random drift that, we will argue, rest on an implicit assumption that the meaning of concepts such as drift can be understood through an examination of the mathematical models in which drift appears. They also seem to implicitly assume that ontological questions about the causality of terms appearing in the models can be gleaned from the models alone. We will question these general assumptions by showing how the same equation (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  28.  46
    Critique and negativity: Towards the pluralisation of critique in educational practice, theory and research.Dietrich Benner & Andrea English - 2004 - Journal of Philosophy of Education 38 (3):409–428.
    There are many possible ways to approach the topic of educational theory and critique. One could inquire into the meaning of critical phenomena and subject-matter in practical education and instruction, investigate the various forms of critique with the goal of determining the extent to which they assist in clarifying pedagogical action, or one could ask: ‘What is meant by critical educational research?’ and ‘How do the various approaches to this topic relate to one another?’. This article inquires into the relationship (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  29. Reason-based choice and context-dependence: An explanatory framework.Franz Dietrich & Christian List - 2016 - Economics and Philosophy 32 (2):175-229.
    We introduce a “reason-based” framework for explaining and predicting individual choices. It captures the idea that a decision-maker focuses on some but not all properties of the options and chooses an option whose motivationally salient properties he/she most prefers. Reason-based explanations allow us to distinguish between two kinds of context-dependent choice: the motivationally salient properties may (i) vary across choice contexts, and (ii) include not only “intrinsic” properties of the options, but also “context-related” properties. Our framework can accommodate boundedly rational (...)
    Direct download (15 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  30. Strategy-proof judgment aggregation.Franz Dietrich & Christian List - 2005 - Economics and Philosophy 23 (3):269-300.
    Which rules for aggregating judgments on logically connected propositions are manipulable and which not? In this paper, we introduce a preference-free concept of non-manipulability and contrast it with a preference-theoretic concept of strategy-proofness. We characterize all non-manipulable and all strategy-proof judgment aggregation rules and prove an impossibility theorem similar to the Gibbard--Satterthwaite theorem. We also discuss weaker forms of non-manipulability and strategy-proofness. Comparing two frequently discussed aggregation rules, we show that “conclusion-based voting” is less vulnerable to manipulation than “premise-based voting”, (...)
    Direct download (20 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  31.  90
    Ethics.Dietrich Bonhoeffer - 1955 - London,: SCM Press. Edited by Eberhard Bethge.
    Called by Karl Barth the brilliant Ethics of Dietrich Bonhoeffer, this book is finally being recognized as Bonhoeffers magnum opus and one of the most important works of Christian ethics of the last century.
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  32.  12
    Zum Problem Des 'Emanzipatorischen Interesses' und Seiner Gesellschaftlichen Wahrnehmung.Dietrich Böhler - 1970 - Man and World 3 (2):26-53.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  33.  81
    Complex Problem Solving: What It Is and What It Is Not.Dörner Dietrich & Funke Joachim - 2017 - Frontiers in Psychology 8.
    Computer-simulated scenarios have been part of psychological research on problem solving for more than 40 years. The shift in emphasis from simple toy problems to complex, more real-life oriented problems has been accompanied by discussions about the best ways to assess the process of solving complex problems. Psychometric issues such as reliable assessments and addressing correlations with other instruments have been in the foreground of these discussions and have left the content validity of complex problem solving in the background. In (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  34.  2
    Processes constitute our complex reality: a theoretical investigation.Dietrich Fliedner - 2006 - Saarbrücken: Selbxtverlag der Fachrichtung Geographie der Universität des Saarlandes.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. The relation between degrees of belief and binary beliefs: A general impossibility theorem.Franz Dietrich & Christian List - 2021 - In Igor Douven (ed.), Lotteries, Knowledge, and Rational Belief. Essays on the Lottery Paradox. Cambridge University Press. pp. 223-54.
    Agents are often assumed to have degrees of belief (“credences”) and also binary beliefs (“beliefs simpliciter”). How are these related to each other? A much-discussed answer asserts that it is rational to believe a proposition if and only if one has a high enough degree of belief in it. But this answer runs into the “lottery paradox”: the set of believed propositions may violate the key rationality conditions of consistency and deductive closure. In earlier work, we showed that this problem (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  3
    Bilanz der Paradigmendiskussion in der Erziehungswissenschaft: Leistungen, Defizite, Grenzen.Dietrich Hoffmann & Martin Fromm (eds.) - 1991 - Weinheim: Deutscher Studien Verlag.
  37.  3
    Tradition und Transformation der geisteswissenschaftlichen Pädagogik: zur Re-Vision der Weniger-Gedenkschrift.Dietrich Hoffmann, Karl Neumann & Helmut Gassen (eds.) - 1993 - Weinheim: Deutscher Studien Verlag.
  38. Judgment aggregation by quota rules: Majority voting generalized.Franz Dietrich & Christian List - 2007 - Journal of Theoretical Politics 19 (4):391-424.
    The widely discussed "discursive dilemma" shows that majority voting in a group of individuals on logically connected propositions may produce irrational collective judgments. We generalize majority voting by considering quota rules, which accept each proposition if and only if the number of individuals accepting it exceeds a given threshold, where different thresholds may be used for different propositions. After characterizing quota rules, we prove necessary and sufficient conditions on the required thresholds for various collective rationality requirements. We also consider sequential (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  39.  55
    Service robots on their way? First steps of an interdisciplinary technology assessment.Michael Decker & Ulrike Henckel - 2012 - Poiesis and Praxis 9 (3-4):177-180.
    Interdisciplinary research calls together different scientific disciplines in order to answer a research question which cannot be answered by an individual discipline alone. Technology Assessment (TA) is a problem-oriented approach (Bechmann and Frederichs 1996) dealing with the non-technical aspects of technology development, in order to gain knowledge about the (un-)intended consequences, the (un-)desired impacts, the main and side-effects and the chances and risks of (new) technologies. Moreover, by applying TA, scientists can develop potential solutions to solve societal or political problems (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  40.  54
    Human beings, technology and the idea of man.Thomas Engel & Ulrike Henckel - 2008 - Poiesis and Praxis 5 (3-4):249-263.
    Since ancient times philosophy has dealt with the relation between technology and man. Nowadays this is especially true in the context of the philosophy of technology. Technology is interpreted as an anthropological constant to construct an environment in which man can survive. Acting in the field of technology is to act rationally with a purpose, i.e., in the framework of a means-end relation, and it is employed for coping with experiences (Widerfahrnisse) by means of using tools. Like technology, language can (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  9
    Martin Staude: Meaning in Communication, Cognition, and Reality: Outline of a Theory from Semiotics, Philosophy, and Sociology: Exeter UK/charlottesville VA: Imprint Academic 2012, 288 pp, $34.90.Dietrich Busse - 2016 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 29 (4):847-853.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. Explanatory pluralism in cognitive science.Rick Dale, Eric Dietrich & Anthony Chemero - 2009 - Cognitive Science 33 (2):739-742.
    This brief commentary has three goals. The first is to argue that ‘‘framework debate’’ in cognitive science is unresolvable. The idea that one theory or framework can singly account for the vast complexity and variety of cognitive processes seems unlikely if not impossible. The second goal is a consequence of this: We should consider how the various theories on offer work together in diverse contexts of investigation. A final goal is to supply a brief review for readers who are compelled (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  43.  3
    Grundlagen und Darstellung der philosophischen Gotteslehre in den Quästionen des Heinrich von Harclay.Dietrich Zillessen - 1965 - [Köln,: Druck : Gouder u. Hansen.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Propositionwise judgment aggregation: the general case.Franz Dietrich & Christian List - 2013 - Social Choice and Welfare 40 (4):1067-1095.
    In the theory of judgment aggregation, it is known for which agendas of propositions it is possible to aggregate individual judgments into collective ones in accordance with the Arrow-inspired requirements of universal domain, collective rationality, unanimity preservation, non-dictatorship and propositionwise independence. But it is only partially known (e.g., only in the monotonic case) for which agendas it is possible to respect additional requirements, notably non-oligarchy, anonymity, no individual veto power, or implication preservation. We fully characterize the agendas for which there (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  45.  7
    Über Freiheit – im pädagogischen Sinn.Dietrich Benner - 2023 - Paragrana: Internationale Zeitschrift für Historische Anthropologie 32 (1):181-198.
    Der Beitrag gliedert sich in drei Abschnitte. Der erste unterstreicht die Aktualität des Themas mit Verweis auf Forderungen der Kinderrechtsbewegung und Erkenntnisse der Hirnforschung und bringt einen Anfang des 19. Jahrhunderts geführten Diskurs über die Ableitbarkeit oder Nicht-Ableitbarkeit der Erziehung aus empirischer Anthropologie und Praktischer Philosophie in Erinnerung. Der zweite stellt philosophischen Erörterungen der Freiheitsthematik, die seit der Antike die Erziehungstatsache ausgeblendet haben, einen praxistheoretischen Begriff der Freiheit im pädagogischen Sinn gegenüber, der zwischen Willensfreiheit, Willensbildung und Freiheit vom Willen unterscheidet. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  2
    Die Logik in der Welt: Ansätze zur Weiterentwicklung d. Neukantianismus.Dietrich Pukas - 1978 - Frankfurt/Main: Haag und Herchen.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Judgment aggregation with consistency alone.Franz Dietrich & Christian List - 2007 - Maastricht University.
    All existing impossibility theorems on judgment aggregation require individual and collective judgment sets to be consistent and complete, arguably a demanding rationality requirement. They do not carry over to aggregation functions mapping profiles of consistent individual judgment sets to consistent collective ones. We prove that, whenever the agenda of propositions under consideration exhibits mild interconnections, any such aggregation function that is "neutral" between the acceptance and rejection of each proposition is dictatorial. We relate this theorem to the literature.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  48. The Cost of Discipleship.Dietrich Bonhoeffer - 1949
    No categories
     
    Export citation  
     
    Bookmark   16 citations  
  49.  31
    First-order and counting theories of ω-automatic structures.Dietrich Kuske & Markus Lohrey - 2008 - Journal of Symbolic Logic 73 (1):129-150.
    The logic L (Qu) extends first-order logic by a generalized form of counting quantifiers ("the number of elements satisfying... belongs to the set C"). This logic is investigated for structures with an injectively ω-automatic presentation. If first-order logic is extended by an infinity-quantifier, the resulting theory of any such structure is known to be decidable [6]. It is shown that, as in the case of automatic structures [21], also modulo-counting quantifiers as well as infinite cardinality quantifiers ("there are χ many (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  50.  4
    Gentile und territoriale Staatsideen im Westgotenreich.Dietrich Claude - 1972 - Frühmittelalterliche Studien 6 (1):1-38.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000