Join the #1 community for gun owners of the Northwest
We believe the 2nd Amendment is best defended through grass-roots organization, education, and advocacy centered around individual gun owners. It is our mission to encourage, organize, and support these efforts throughout Oregon, Washington, Idaho, Montana, and Wyoming.
Discuss firearms and all aspects of firearm ownership
Join others in organizing against anti-gun legislation
Find nearby gun shops, ranges, training, and other resources
Discover free outdoor shooting areas
Stay up to date on firearm-related events
Share photos and video with other members
...and much more!
model 662
In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the statements of the theory hold). The aspects investigated include the number and size of models of a theory, the relationship of different models to each other, and their interaction with the formal language itself. In particular, model theorists also investigate the sets that can be defined in a model of a theory, and the relationship of such definable sets to each other.
As a separate discipline, model theory goes back to Alfred Tarski, who first used the term "Theory of Models" in publication in 1954.
Since the 1970s, the subject has been shaped decisively by Saharon Shelah's stability theory.
Compared to other areas of mathematical logic such as proof theory, model theory is often less concerned with formal rigour and closer in spirit to classical mathematics.
This has prompted the comment that "if proof theory is about the sacred, then model theory is about the profane".
The applications of model theory to algebraic and diophantine geometry reflect this proximity to classical mathematics, as they often involve an integration of algebraic and model-theoretic results and techniques.
The most prominent scholarly organization in the field of model theory is the Association for Symbolic Logic.
For sale, Winchester model 62 in 22 S/L/LR. In original condition, some pitting on outside of barrel. Functions flawlessly and is accurate.
Own a piece of Winchester history