Results 221 to 230 of about 1,021,911 (264)
Some of the next articles are maybe not open access.
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
Effective model theory vs. recursive model theory
Journal of Symbolic Logic, 1990Recursive model theory is supposed to be the study of the effectiveness of constructions and theorems in model theory. This often involves getting “effective” versions of various classical model-theoretic notions. The traditional way of doing this is to restrict attention to recursive models, and recursive isomorphisms between them, etc.
openaire +1 more source
Modeling agents with a theory of mind: Theory–theory versus simulation theory [PDF]
Web Intelligence and Agent Systems: An International Journal, 2012 Virtual training systems with intelligent agents provide an effective means to train people for complex, dynamic tasks like crisis management or firefighting. For successful training, intelligent virtual agents should be able to show believable behavior, adapt their behavior to the trainee's performance and give useful explanations about their behavior.
Harbers, M. +2 more
openaire +3 more sources
Qualitative Health Research, 2018
Although theory building is often described as the ultimate goal of qualitative research, an examination of articles in Qualitative Health Research ( QHR) shows that themes are actually the typical format for reporting results. In addition, articles that rely on themes often present low-level theories in the form of models that connect these themes ...
openaire +3 more sources
Although theory building is often described as the ultimate goal of qualitative research, an examination of articles in Qualitative Health Research ( QHR) shows that themes are actually the typical format for reporting results. In addition, articles that rely on themes often present low-level theories in the form of models that connect these themes ...
openaire +3 more sources
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
2014
This section reviews the relation between the continuous dynamics of a molecular system in thermal equilibrium and the kinetics given by a Markov State Model (MSM). We will introduce the dynamical propagator, an error-less, alternative description of the continuous dynamics, and show how MSMs result from its discretization.
Marco, Sarich +2 more
openaire +2 more sources
This section reviews the relation between the continuous dynamics of a molecular system in thermal equilibrium and the kinetics given by a Markov State Model (MSM). We will introduce the dynamical propagator, an error-less, alternative description of the continuous dynamics, and show how MSMs result from its discretization.
Marco, Sarich +2 more
openaire +2 more sources
Journal of Symbolic Logic, 1976
Several results in the theory of recursion in higher types indicate that the effect of a higher type functional on the lower types does not reflect the high type, i.e. the same effect could be obtained by functionals of relatively low type. The two main results here are:Plus -1 - Theorem (G. Sacks [6] for k = 1, [7] for k > 1).
Johan Moldestad, Dag Normann
openaire +2 more sources
Several results in the theory of recursion in higher types indicate that the effect of a higher type functional on the lower types does not reflect the high type, i.e. the same effect could be obtained by functionals of relatively low type. The two main results here are:Plus -1 - Theorem (G. Sacks [6] for k = 1, [7] for k > 1).
Johan Moldestad, Dag Normann
openaire +2 more sources
The model theory of concurrency
2006Process algebras such as Milner's Calculus of Communicating Systems (CCS) are universalist, i.e., they assume that there is a single universe in which expressions are to be interpreted. We begin an investigation of a model theoretic approach to concurrency in which there are many universes.
Kevin J. Compton, Rosario Uceda-Sosa
openaire +1 more source
Theories with recursive models
Journal of Symbolic Logic, 1979A structure is recursive if the set of quantifier-free sentences in the complete diagram ⊿() of is recursive. It has been known for some time that every decidable theory has a recursive model. In fact, every decidable theory has a decidable model (that is a model such that ⊿() is recursive). In this paper we find other conditions which imply that a
Manuel Lerman, James H. Schmerl
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