3 posts
• Page **1** of **1**

Modeling is a proven and well-accepted engineering technique which helps build a model. Model is a simplification of reality; it is a blueprint of the actual system that needs to be built. Model helps to visualize the system. Model helps to specify the structural and behavior of the system. Model helps make templates for constructing the system. Model helps document the system.

- strutwatson
**Posts:**3**Joined:**Thu Dec 24, 2009 11:02 am

Thanks for sharing information about "model". I can say also that model helps to build the system accurately based on the specification needs.

Bob Morton

citizen stiletto watch and snp007 user.

Bob Morton

citizen stiletto watch and snp007 user.

- jackmcmahon
**Posts:**1**Joined:**Wed Oct 06, 2010 7:22 am

An incomplete and somewhat arbitrary subdivision of model theory is into classical model theory, model theory applied to groups and fields, and geometric model theory. A missing subdivision is computable model theory, but this can arguably be viewed as an independent subfield of logic. Examples of early theorems from classical model theory include GÃ¶del's completeness theorem, the upward and downward LÃ¶wenheimâ€“Skolem theorems, Vaught's two-cardinal theorem, Scott's isomorphism theorem, the omitting types theorem, and the Ryll-Nardzewski theorem. Examples of early results from model theory applied to fields are Tarski's elimination of quantifiers for real closed fields, Ax's theorem on pseudo-finite fields, and Robinson's development of nonstandard analysis. An important step in the evolution of classical model theory occurred with the birth of stability theory (through Morley's theorem on uncountably categorical theories and Shelah's classification program), which developed a calculus of independence and rank based on syntactical conditions satisfied by theories.

- Jellen00
**Posts:**3**Joined:**Tue Nov 09, 2010 4:11 am

3 posts
• Page **1** of **1**

Users browsing this forum: No registered users and 0 guests