Results 251 to 260 of about 7,641,165 (285)
Some of the next articles are maybe not open access.
2018
Theories are among the main achievements of scientific inquiry and appear as the repositories of scientific knowledge. This chapter is devoted to an examination of the notion of theory as a unit of analysis for the study of scientific knowledge. Most of the analysis consists in presenting and criticizing two major proposals made by philosophers of ...
openaire +2 more sources
Theories are among the main achievements of scientific inquiry and appear as the repositories of scientific knowledge. This chapter is devoted to an examination of the notion of theory as a unit of analysis for the study of scientific knowledge. Most of the analysis consists in presenting and criticizing two major proposals made by philosophers of ...
openaire +2 more sources
Nearly Model Complete Theories
Mathematical Logic Quarterly, 1999AbstractA theory T of a language L is 1‐model complete (nearly model complete) iff for every formula ρ of L there is a formula ϕ (χ) of L which is a ∀∃‐formula (a Boolean combination of universal formulas) such that T ⊨ ∀x[ϕ↔θ]. The main results of the paper give characterizations of nearly model complete theories and of 1‐model complete theories. As a
Kueker, David W., Turnquist, Brian P.
openaire +1 more source
1993
This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is
openaire +1 more source
This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is
openaire +1 more source
1999
Abstract Logic languages are free from the ambiguities of natural languages, and are therefore specially suited for use in computing. Model theory is the branch of mathematical logic which concerns the relationship between mathematical structures and logic languages, and has become increasingly important in areas such as computing ...
openaire +1 more source
Abstract Logic languages are free from the ambiguities of natural languages, and are therefore specially suited for use in computing. Model theory is the branch of mathematical logic which concerns the relationship between mathematical structures and logic languages, and has become increasingly important in areas such as computing ...
openaire +1 more source
Canadian Mathematical Bulletin, 1974
Given a first-order theory T, welet be the category of models of T and homomorphisms between them. We shall show that a morphism A→B of is an epimorphism if and only if every element of B is definable from elements of A in a certain precise manner (see Theorem 1), and from this derive the best possible Cowell- power Theorem for .
openaire +1 more source
Given a first-order theory T, welet be the category of models of T and homomorphisms between them. We shall show that a morphism A→B of is an epimorphism if and only if every element of B is definable from elements of A in a certain precise manner (see Theorem 1), and from this derive the best possible Cowell- power Theorem for .
openaire +1 more source
Computer-Aided Design, 1986
A coherent theory of computer modelling in architecture is being developed in Cambridge. The theory, based on concepts from many disciplines (especially philosophy and the design disciplines), is intended as a framework within which computer models can be assessed and compared.
openaire +1 more source
A coherent theory of computer modelling in architecture is being developed in Cambridge. The theory, based on concepts from many disciplines (especially philosophy and the design disciplines), is intended as a framework within which computer models can be assessed and compared.
openaire +1 more source
Poly(ADP-Ribose) polymerase (PARP) inhibitors: Exploiting a synthetic lethal strategy in the clinic
Ca-A Cancer Journal for Clinicians, 2011Timothy A Yap, Johann Sebastian de Bono
exaly
Pediatric palliative care in the community
Ca-A Cancer Journal for Clinicians, 2015Erica C Kaye +2 more
exaly