model theory


Also found in: Thesaurus, Legal, Encyclopedia, Wikipedia.
Related to model theory: Proof theory

model theory

n
(Logic) the branch of logic that deals with the properties of models; the semantic study of formal systems
ˈmodel-ˌtheoˈretic adj
References in periodicals archive ?
Winston Barta, Vice President of Global Media said "In a perfect Internet world whereby everyone is shopping as a potential reseller, a whole new creation of competition begins which demolishes old revenue models established by `bricks and mortar' businesses as well as other online companies that are relying on the old model theory.
Objective: Model theory deals with general classes of structures (called models).
Decades of scientific endeavour to explain the origins of the universe were based around The Standard Model theory - to which the existence of the Higgs is crucial - and if it had been disproved, retired Edinburgh University professor Peter Higgs said he would "no longer understand the whole area of theoretical and particle physics" he thought he did.
March 27, 2012 /PRNewswire-iReach/ -- Ronald Fagin, best known for his pioneering work in database theory, finite model theory, and reasoning about knowledge, has been selected as the 2012 winner of the prestigious W.
Finally Field seems to yield to expressive limitations: 'the claim that I dispute is that the model theory ought to allow for super-determinateness operator meeting intuitive preconceptions' (357).
With exercises and examples he explains Polish groups and Polish group actions, theories of equivalence relations, the Glimm-Effros dichotomy, Borel equivalence relations, analytic equivalence relations, turbulent actions of Polish groups, model theory, Polish topology, and applications to classification problems.
Moreover, based on the model theory a formal interpretation is introduced: it grounds necessity in model theoretic validity and verifies no invidious essentialist claim.
The project will contribute to the advancement of the theory of lax algebras by exploiting its links with categorical homotopy theory: the theory of locales, higher-dimensional category theory, model theory, convergence theory, descent theory, etc.
The 13 papers in this collection describe some main results, techniques, and research directions in the application of model theory to combinatorics--one of the last areas of mathematics to receive such attention.
The PSP model theory and the practical details an RF designer must consider in applying it are discussed.
Subjects covered include the structure theory of various notions of degrees of unsolvability, algorithmic randomness, reverse mathematics, forcing, large cardinals and inner model theory, with papers on such topics as the strength of some combinatorial principles related to Ramsey's theorem for pairs, absoluteness for universally Baire sets and the uncountable, modaic definability of ordinals, eliminating concepts, rigidity and bi-interpretability in hyperdegrees, fundamental issues of degrees of unsolvability, a "tt" version of the Posner-Robinson theorem, and prompt simplicity, array computability and cupping.
In particular, Shapiro points out that his model theory is set in set theory.
Full browser ?