Results 241 to 250 of about 7,641,165 (285)
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
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
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
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
2018
Model theory studies the relations between sentences of a formal language and the interpretations (or ‘structures’) which make these sentences true or false. It offers precise definitions of truth, logical truth and consequence, meanings and modalities. These definitions and their consequences have revolutionized the teaching of elementary logic.
+5 more sources
Model theory studies the relations between sentences of a formal language and the interpretations (or ‘structures’) which make these sentences true or false. It offers precise definitions of truth, logical truth and consequence, meanings and modalities. These definitions and their consequences have revolutionized the teaching of elementary logic.
+5 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