Results 241 to 250 of about 7,715,827 (290)
Some of the next articles are maybe not open access.
The Journal of Symbolic Logic, 2020
AbstractDrawing on the analogy between any unary first-order quantifier and a “face operator,” this paper establishes several connections between model theory and homotopy theory. The concept of simplicial set is brought into play to describe the formulae of any first-order language L, the definable subsets of any L-structure, as well as the type ...
openaire +2 more sources
AbstractDrawing on the analogy between any unary first-order quantifier and a “face operator,” this paper establishes several connections between model theory and homotopy theory. The concept of simplicial set is brought into play to describe the formulae of any first-order language L, the definable subsets of any L-structure, as well as the type ...
openaire +2 more sources
The British Journal for the Philosophy of Science, 1965
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Theories and models in symbiogenesis
Nonlinear Analysis: Real World Applications, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Antonelli, P. L. +2 more
openaire +2 more sources
Journal of Economic Methodology, 1997
Economic theories are systems of beliefs about the world. Models formalize parts or aspects of theories but leave much of their content out. An example of a component of theories not contained in models are the instructions for how to proceed when a model fails (in Lakatos’ terms the ‘positive heuristic’).
openaire +2 more sources
Economic theories are systems of beliefs about the world. Models formalize parts or aspects of theories but leave much of their content out. An example of a component of theories not contained in models are the instructions for how to proceed when a model fails (in Lakatos’ terms the ‘positive heuristic’).
openaire +2 more sources
Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, 2007
A memory model for a concurrent imperative programming language specifies which writes to shared variables may be seen by reads performed by other threads. We present a simple mathematical framework for relaxed memory models for programming languages. To instantiate this framework for a specific language, the designer must choose the notion of atomic ...
Vijay A. Saraswat +3 more
openaire +1 more source
A memory model for a concurrent imperative programming language specifies which writes to shared variables may be seen by reads performed by other threads. We present a simple mathematical framework for relaxed memory models for programming languages. To instantiate this framework for a specific language, the designer must choose the notion of atomic ...
Vijay A. Saraswat +3 more
openaire +1 more source
Synthese, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
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
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
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
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