Results for 'universal models'

962 found
Order:
  1. Towards a universal model of reading.Ram Frost, Christina Behme, Madeleine El Beveridge, Thomas H. Bak, Jeffrey S. Bowers, Max Coltheart, Stephen Crain, Colin J. Davis, S. Hélène Deacon & Laurie Beth Feldman - 2012 - Behavioral and Brain Sciences 35 (5):263.
    In the last decade, reading research has seen a paradigmatic shift. A new wave of computational models of orthographic processing that offer various forms of noisy position or context-sensitive coding have revolutionized the field of visual word recognition. The influx of such models stems mainly from consistent findings, coming mostly from European languages, regarding an apparent insensitivity of skilled readers to letter order. Underlying the current revolution is the theoretical assumption that the insensitivity of readers to letter order (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  2.  42
    On the existence of universal models.Mirna Džamonja & Saharon Shelah - 2004 - Archive for Mathematical Logic 43 (7):901-936.
    Suppose that λ=λ <λ ≥ℵ0, and we are considering a theory T. We give a criterion on T which is sufficient for the consistent existence of λ++ universal models of T of size λ+ for models of T of size ≤λ+, and is meaningful when 2λ +>λ++. In fact, we work more generally with abstract elementary classes. The criterion for the consistent existence of universals applies to various well known theories, such as triangle-free graphs and simple theories. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  76
    A universal model for the normative evaluation of internet information.Edward H. Spence - 2009 - Ethics and Information Technology 11 (4):243-253.
    Beginning with the initial premise that as the Internet has a global character, the paper will argue that the normative evaluation of digital information on the Internet necessitates an evaluative model that is itself universal and global in character. The paper will show that information has a dual normative structure that commits all disseminators of information to both epistemological and ethical norms that are in principle universal and thus global in application. Based on this dual normative characterization of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Professor, Water Science and Civil Engineering University of California Davis, California.A. Mathematical Model - 1968 - In Peter Koestenbaum (ed.), Proceedings. [San Jose? Calif.,: [San Jose? Calif.. pp. 31.
    No categories
     
    Export citation  
     
    Bookmark  
  5.  85
    Category theory and universal models: Adjoints and brain functors.David Ellerman - unknown
    Since its formal definition over sixty years ago, category theory has been increasingly recognized as having a foundational role in mathematics. It provides the conceptual lens to isolate and characterize the structures with importance and universality in mathematics. The notion of an adjunction (a pair of adjoint functors) has moved to center-stage as the principal lens. The central feature of an adjunction is what might be called "internalization through a universal" based on universal mapping properties. A recently developed (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. University Models in Changing Political Contexts.Gabor Palló - 2015 - In Kostas Gavroglu, Maria Paula Diogo & Ana Simões (eds.), Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries: Academic Landscapes. Dordrecht: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  7.  54
    Bringing development into a universal model of reading.S. Hélène Deacon - 2012 - Behavioral and Brain Sciences 35 (5):284.
    Reading development is integral to a universal model of reading. Developmental research can tell us which factors drive reading acquisition and which are the product of reading. Like adult research, developmental research needs to be contextualised within the language and writing system and it needs to include key cross-linguistic evaluations. This will create a universal model of reading development.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  42
    Institutions, Madhyamaka and universal model theory.Razvan Diaconescu - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. Milan, Italy: Polimetrica. pp. 41--65.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  46
    The countable homogeneous universal model of B.David M. Clark & Jürg Schmid - 1996 - Studia Logica 56 (1-2):31 - 66.
    We give a detailed account of the Algebraically Closed and Existentially Closed members of the second Lee class B 2 of distributive p-algebras, culminating in an explicit construction of the countable homogeneous universal model of B 2. The axioms of Schmid [7], [8] for the AC and EC members of B 2 are reduced to what we prove to be an irredundant set of axioms. The central tools used in this study are the strong duality of Clark and Davey (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  17
    (1 other version)Homogeneous Universal Models of Universal Theories.Peter H. Krauss - 1976 - Mathematical Logic Quarterly 23 (27‐30):415-426.
  11.  54
    Club Guessing and the Universal Models.Mirna Džamonja - 2005 - Notre Dame Journal of Formal Logic 46 (3):283-300.
    We survey the use of club guessing and other PCF constructs in the context of showing that a given partially ordered class of objects does not have a largest, or a universal, element.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  12.  17
    The Iowa State University Model Bioethics Institutes.Gary Comstock - 1999 - Bulletin of Science, Technology and Society 19 (4):323-328.
    How should universities help their life science faculty members to integrate discussions of ethics into their courses? The Iowa State University Model Bio-ethics Institutes offer one model.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  50
    Developing a universal model of reading necessitates cracking the orthographic code.Colin J. Davis - 2012 - Behavioral and Brain Sciences 35 (5):283-284.
    I argue, contra Frost, that when prime lexicality and target density are considered, it is not clear that there are fundamental differences between form priming effects in Semitic and European languages. Furthermore, identifying and naming printed words in these languages raises common theoretical problems. Solving these problems and developing a universal model of reading necessitates the orthographic input code.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  20
    A universal model for the evolution of viviparity? (Comment on DOI 10.1002/bies.201400200).James R. Stewart - 2015 - Bioessays 37 (7):714-714.
  15.  49
    (1 other version)Extending the Psychology of Religion: A Call for Exploration of Psychological Universals, More Inclusive Approaches, and Comprehensive Models.Helmut K. Reich - 2008 - Archive for the Psychology of Religion 30 (1):115-134.
    Extensions of ongoing research identified in the introduction to this special issue are discussed here with farther reaching objectives: researching more intensely psychological universals thought to underlie religion, taking a more inclusive approach to psychology of religion, and constructing more comprehensive models. All three involve conscious experience, to which some observations are devoted. Remarks about the relationships between these research areas conclude the article.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  33
    Completeness with respect to a chain and universal models in fuzzy logic.Franco Montagna - 2011 - Archive for Mathematical Logic 50 (1-2):161-183.
    In this paper we investigate fuzzy propositional and first order logics which are complete or strongly complete with respect to a single chain, and we relate this properties with the existence of a universal chain for the logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  22
    Controversies around a Universal Model.Claude Albagli - 2008 - Diogenes 55 (3):85 - 95.
    Since Magellan's round-the-world voyage (1521), international issues have been embroiled in universalist claims. This paper investigates the controversial nature of a new economic universalism in the light of the social deficiencies and the limits of the available resources. The model of a global consumerism turns out to be inaccessible for billions of people. The market conceals a social dimension which ethics, equity, governance and identity are attempting to reintroduce. Consumerist universalism is faltering. The search for an alternative development model is (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  75
    Vision, development, and bilingualism are fundamental in the quest for a universal model of visual word recognition and reading.Nicola J. Pitchford, Walter J. B. van Heuven, Andrew N. Kelly, Taoli Zhang & Timothy Ledgeway - 2012 - Behavioral and Brain Sciences 35 (5):300-301.
    We agree with many of the principles proposed by Frost but highlight crucial caveats and report research findings that challenge several assertions made in the target article. We discuss the roles that visual processing, development, and bilingualism play in visual word recognition and reading. These are overlooked in all current models, but are fundamental to any universal model of reading.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  19. The genetic recombination of science and religion.Stephen M. Modell - 2010 - Zygon 45 (2):462-468.
    The estrangement between genetic scientists and theologians originating in the 1960s is reflected in novel combinations of human thought (subject) and genes (investigational object), paralleling each other through the universal process known in chaos theory as self-similarity. The clash and recombination of genes and knowledge captures what Philip Hefner refers to as irony, one of four voices he suggests transmit the knowledge and arguments of the religion-and-science debate. When viewed along a tangent connecting irony to leadership, journal dissemination, and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  16
    (1 other version)On Quasi‐Universal Model Classes.Manfred Armbrust & Klaus Kaiser - 1972 - Mathematical Logic Quarterly 18 (25‐30):403-406.
  21.  25
    Universals. [REVIEW]Allan B. Wolter - 1991 - Review of Metaphysics 44 (4):831-833.
    This work is typical of the cautious approach to metaphysical problems by the new breed of Oxonian analysts. Unlike Wittgenstein and his early followers, they do not believe metaphysics deals solely with pseudo-problems that will evaporate with a clearer understanding of how ordinary language functions. Rather they believe, as is the case with scientists evaluating various theoretical models, a cost/benefit analysis of the more meaningful solutions philosophers have given to important metaphysical problems will lead to a clarification of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  21
    Profiniteness, monadicity and universal models in modal logic.Matteo De Berardinis & Silvio Ghilardi - 2024 - Annals of Pure and Applied Logic 175 (7):103454.
  23.  34
    Can evolution provide perfectly optimal solutions for a universal model of reading?Christina Behme - 2012 - Behavioral and Brain Sciences 35 (5):279-280.
    Frost has given us good reason to question the universality of existing computational models of reading. Yet, he has not provided arguments showing that all languages share fundamental and invariant reading universals. His goal of outlining the blueprint principles for a universal model of reading is premature. Further, it is questionable whether natural evolution can provide the optimal solutions that Frost invokes.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24.  43
    Universals Without Absolutes: A Theory of Media Ethics.Christopher Meyers - 2016 - Journal of Media Ethics 31 (4):198-214.
    The global turn in media ethics has presented a tough challenge for traditional models of moral theory: How do we assert common moral standards while also showing respect for the values of those from outside the Western tradition? The danger lies in advocating for either extreme: reason-dependent absolutism or cultural relativism. In this paper, I reject Cliff Christian’s attempts to solve the problem and propose instead a moral theory of universal standards that are discovered via a mix of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  41
    An even more universal model of reading: Various effects of orthography on dyslexias.Naama Friedmann & Aviah Gvion - 2012 - Behavioral and Brain Sciences 35 (5):285-286.
    The properties of a specific orthography dictate the way people read it. We bring considerations from dyslexia to suggest that the claim can be extended further. First, the effect of orthographic neighborhood density can be extended beyond letter-position encoding and beyond the orthographic lexicon. Second, Hebrew and Arabic differ with respect to letter forms, and hence, in letter-position encoding.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  26.  54
    On properties of theories which preclude the existence of universal models.Mirna Džamonja & Saharon Shelah - 2006 - Annals of Pure and Applied Logic 139 (1):280-302.
    We introduce the oak property of first order theories, which is a syntactical condition that we show to be sufficient for a theory not to have universal models in cardinality λ when certain cardinal arithmetic assumptions about λ implying the failure of GCH hold. We give two examples of theories that have the oak property and show that none of these examples satisfy SOP4, not even SOP3. This is related to the question of the connection of the property (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  50
    Flashing out or fleshing out? A developmental perspective on a universal model of reading.Bruce D. Homer, Russell Miller & Seamus Donnelly - 2012 - Behavioral and Brain Sciences 35 (5):289-290.
    The principles for universal reading models proposed by Frost correspond to developmental theories, in which neurocognitive constraints and cultural experiences shape development. We question his contention that Hebrew word identification is fundamentally about roots, excluding verbal and nominal word-pattern morphemes; and we propose that readers use all information available in stimuli, adjusting for volume and usefulness.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  28.  34
    Empirical Universals of Language as a Basis for the Study of Other Human Universals and as a Tool for Exploring Cross‐Cultural Differences.Anna Wierzbicka - 2005 - Ethos: Journal of the Society for Psychological Anthropology 33 (2):256-291.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29. GT Csanady Department of Mechanical Engineering, University of Waterloo.Simple Analytical Models Of Wind-Driven - 1968 - In Peter Koestenbaum (ed.), Proceedings. [San Jose? Calif.,: [San Jose? Calif.. pp. 371.
     
    Export citation  
     
    Bookmark  
  30.  31
    Abstract classes with few models have `homogeneous-universal' models.J. Baldwin & S. Shelah - 1995 - Journal of Symbolic Logic 60 (1):246-265.
  31.  33
    Position-invariant letter identification is a key component of any universal model of reading.Jeffrey S. Bowers - 2012 - Behavioral and Brain Sciences 35 (5):281-282.
    A universal property of visual word identification is position-invariant letter identification, such that the letter is coded in the same way in CAT and ACT. This should provide a fundamental constraint on theories of word identification, and, indeed, it inspired some of the theories that Frost has criticized. I show how the spatial coding scheme of Colin Davis can, in principle, account for contrasting transposed letter priming effects, and at the same time, position-invariant letter identification.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  32.  32
    From Universal Laws of Cognition to Specific Cognitive Models.Nick Chater & Gordon D. A. Brown - 2008 - Cognitive Science 32 (1):36-67.
    The remarkable successes of the physical sciences have been built on highly general quantitative laws, which serve as the basis for understanding an enormous variety of specific physical systems. How far is it possible to construct universal principles in the cognitive sciences, in terms of which specific aspects of perception, memory, or decision making might be modelled? Following Shepard (e.g., ), it is argued that some universal principles may be attainable in cognitive science. Here, 2 examples are proposed: (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  33.  19
    Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions.George Metcalfe & Luca Reggio - 2023 - Journal of Symbolic Logic 88 (1):381-417.
    Necessary and sufficient conditions are presented for the (first-order) theory of a universal class of algebraic structures (algebras) to have a model completion, extending a characterization provided by Wheeler. For varieties of algebras that have equationally definable principal congruences and the compact intersection property, these conditions yield a more elegant characterization obtained (in a slightly more restricted setting) by Ghilardi and Zawadowski. Moreover, it is shown that under certain further assumptions on congruence lattices, the existence of a model completion (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Model of the Universe.Storrs McCall - 1996 - Oxford and New York: Oxford University Press UK.
    Storrs McCall presents an original philosophical theory of the nature of the universe based on a striking new model of its space- time structure. He shows how his model illuminates a broad range of subjects, including causation, probability, quantum mechanics, identity, and free will, and argues that the fact that the model throws light on such a large number of problems constitutes strong evidence that the universe is as the model portrays it.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  35.  92
    Idealized models, holistic distortions, and universality.Collin Rice - 2018 - Synthese 195 (6):2795-2819.
    In this paper, I first argue against various attempts to justify idealizations in scientific models that explain by showing that they are harmless and isolable distortions of irrelevant features. In response, I propose a view in which idealized models are characterized as providing holistically distorted representations of their target system. I then suggest an alternative way that idealized modeling can be justified by appealing to universality.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  36.  14
    Models in science and in education: A critical review of research on students' ideas about the earth and its place in the universe.A. Albanese, M. C. Danhoni Neves & Matilde Vicentini - 1997 - Science & Education 6 (6):573-590.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  47
    Consideration of the linguistic characteristics of letters makes the universal model of reading more universal.Kyungil Kim, Chang H. Lee & Yoonhyoung Lee - 2012 - Behavioral and Brain Sciences 35 (5):291-292.
    We suggest that the linguistic characteristics of letters also need to be considered to fully understand how a reader processes printed words. For example, studies in Korean showed that unambiguity in the assignment of letters to their appropriate onset, vowel, or coda slot is one of the main sources of the letter-transposition effect. Indeed, the cognitive system that processes Korean is tuned to the structure of the Korean writing system.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  38.  63
    A University Wide Model for the Ethical Review of Human Subjects Research.Bryn Williams-Jones & Søren Holm - 2005 - Research Ethics 1 (2):39-44.
    In the United Kingdom (and elsewhere), there are moves to extend formal ethical review of research involving human subjects beyond the traditional oversight by NHS local or multi-centre research ethics committees of medical or clinical research, to also encompass all ‘non-clinical’ research involving human subjects. This paper describes and analyses the development and implementation of a model for ethical review within the university sector. At Cardiff University, a devolved or two-tiered system of ethics review has been created in which a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  39.  28
    Function, Selection, and Innateness: The Emergence of Language Universals.Simon Kirby - 1999 - Oxford University Press UK.
    This book explores issues at the core of modern linguistics and cognitive science. Why are all languages similar in some ways and in others utterly different? Why do languages change and change variably? How did the human capacity for language evolve, and how far did it do so as an innate ability? Simon Kirby looks at these questions from a broad perspective, arguing that they can be studied together. The author begins by examining how far the universal properties of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   25 citations  
  40. Universities of the Third Age in Poland. Emerging Model for 21st Century.Andrzej Klimczuk - 2013 - Journal of Education, Psychology and Social Sciences 1 (2):8--14.
    Main objective of this paper is to describe emergence of a Polish Universities of the Third Age model. These are a multidisciplinary non-formal education centers, which allow formation of positive responses to the challenges of an ageing population. Article indicates main organizational changes of these institutions conditioned by internal and external factors. Essay describes transformation, differentiation factors, and characteristics of these institutions for elderly based on a critical analysis of literature.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  95
    Exemplar reasoning about biological models and diseases: A relation between the philosophy of medicine and philosophy of science.Kenneth F. Schaffner - 1986 - Journal of Medicine and Philosophy 11 (1):63-80.
    the structure of medical science with a special focus on the role of generalizations and universals in medicine, and (2) philosophy of medicine's relation with the philosophy of science. I argue that a usually overlooked aspect of Kuhnian paradigms, namely, their characteristic of being "exemplars", is of considerable significance in the biomedical sciences. This significance rests on certain important differences from the physical sciences in the nature of theories in the basic and the clinical medical sciences. I describe those differences (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  42.  21
    Topology and models of ZFC at early Universe.Jerzy Król & Torsten Asselmeyer-Maluga - 2019 - Philosophical Problems in Science 66:15-33.
    Recently the cosmological evolution of the universe has been considered where 3-dimensional spatial topology undergone drastic changes. The process can explain, among others, the observed smallness of the neutrino masses and the speed of inflation. However, the entire evolution is perfectly smooth from 4-dimensional point of view. Thus the raison d’être for such topology changes is the existence of certain non-standard 4-smoothness on R4 already at very early stages of the universe. We show that the existence of such smoothness can (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  31
    Model Transfer and Universal Patterns: Lessons from the Yule Process.Sebastiaan Tieleman - 2022 - Synthese 200 (4):1-20.
    Model transfer refers to the observation that particular model structures are used across multiple distinct scientific domains. This paper puts forward an account to explain the inter-domain transfer of model structures. Central in the account is the role of validation criteria in determining whether a model is considered to be useful by practitioners. Validation criteria are points of reference to which model correctness for a particular purpose is assessed. I argue that validation criteria can be categorized as being mathematical, theoretical (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  25
    An Ecological Model of Inter-institutional Sustainability of an After-school Program: The La Red Mágica Community-University Partnership in Delaware.Eugene Matusov & Mark Philip Smith - 2011 - Outlines. Critical Practice Studies 13 (1):19-45.
    The purpose of the paper is to introduce a recursive model of ecological discursive sustainability, as it applies to and emerges from the history of an after-school program partnership between the School of Education at the University of Delaware, USA and the Latin American Community Center in Wilmington, Delaware, USA. This model is characterized by the development of shared ownership and collaboration between the institutional partners, the co-evolution and crossfertilization of the partners’ practices and the negotiation of institutional boundaries and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  24
    Collectivism and the Emergence of Linguistic Universals.Georg Theiner - 2006 - In Rocha Luis Mateus, Yaeger Larry S., Bedau Mark A., Floreanu Dario, Goldstone Robert L. & Vespignani Alessandro (eds.), Artificial Life X. Proceedings of the Tenth International Conference on the Simulation and Synthesis of Living Systems. MIT Press.
    My goal in this paper is to defend the plausibility of a particular version of collectivism – understood as the evolutionary claim that individual-level cognition is systematically biased in favor of aggregate-level regularities – in the domain of language. Chomsky's (1986) methodological promotion of I-language (speaker-internal knowledge) and the corresponding demotion of E-language (aggregate output of a population of speakers) has led mainstream cognitive science to view language essentially as a property of individual minds/brains whose evolution is best explained as (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. A Model of the Universe.Storrs McCall - 1994 - Philosophical Quarterly 47 (186):113-115.
    No categories
     
    Export citation  
     
    Bookmark   95 citations  
  47.  18
    University Student’s Academic Goals When Working in Teams: Questionnaire on Academic Goals in Teamwork, 3 × 2 Model.Benito León-del-Barco, Santiago Mendo-Lázaro, Ma Isabel Polo-del-Río & Irina Rasskin-Gutman - 2019 - Frontiers in Psychology 10.
    Group work is a very common practice in higher education when it comes to developing key competences for students’ personal and professional growth. The goals that students pursue when working in teams determine how they organize and regulate their behavior and how they approach the tasks. The academic goals are a relevant variable that can condition the success of the group, as they guide and direct the students towards involvement in the task, the effort they make, and the desire to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  69
    A Universal Extender Model Without Large Cardinals In V.William Mitchell & Ralf Schindler - 2004 - Journal of Symbolic Logic 69 (2):371-386.
    We construct, assuming that there is no inner model with a Woodin cardinal but without any large cardinal assumption, a model Kc which is iterable for set length iterations, which is universal with respect to all weasels with which it can be compared, and is universal with respect to set sized premice.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49. A Model of the Universe: Space-Time, Probability and Decision.Richard Feist & Storrs McCall - 1995 - Philosophical Review 104 (4):632.
    The title alone of McCall’s book reveals its ambitious enterprise. The book’s structure is a long inference to the best explanation: chapters present problems that are solved by a single, ontological model. Problems as diverse as time flow, quantum measurement, counterfactual semantics, and free will are discussed. McCall’s style of writing is lucid and pointed—in general, very pleasant to read.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  50.  40
    Model companions for finitely generated universal horn classes.Stanley Burris - 1984 - Journal of Symbolic Logic 49 (1):68-74.
    In an earlier paper we proved that a universal Horn class generated by finitely many finite structures has a model companion. If the language has only finitely many fundamental operations then the theory of the model companion admits a primitive recursive elimination of quantifiers and is primitive recursive. The theory of the model companion is ℵ 0 -categorical iff it is complete iff the universal Horn class has the joint embedding property iff the universal Horn class is (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 962