submit urlsubmit rss feedadd directory

article

This article discusses model theory as a mathematical discipline and not the informally used term mathematical model as used in other parts of mathematics and science.

In mathematics, model theory is the study of the representation of mathematical concepts in terms of set theory, or the study of the models which underlie mathematical systems. It assumes that there are some pre-existing mathematical objects out there, and asks questions regarding how or what theorems can be proven given the objects, some operations or relations amongst the objects, and a set of axioms.

The independence of the axiom of choice and the continuum hypothesis from the other axioms of set theory (proved by Paul Cohen and Kurt Gödel) are the two most famous results arising from model theory. It was proved that both the axiom of choice and its negation are consistent with the Zermelo-Fraenkel axioms of set theory; the same result holds for the continuum hypothesis. These results are applications of model-theoretic methods to axiomatic set theory.

More on [ Model theory ]


directory of related categories

 
Model_Theory RSS feed
Model Theory - Twitter Search

@RCKoolKiid lol ur 4 model chicks with the ugly friend theory
xo_kiki (KRISTINA) Mon, 04 Jan 2010 22:26:30 -0000
@RCKoolKiid lol ur 4 model chicks with the ugly friend theory
@bxmx Advanced networking. Theory through practice. A pretty fun class based on the DOD model v. OSI 7 Layer model. More practical.
selil (Sam Liles) Mon, 04 Jan 2010 22:14:50 -0000
@bxmx Advanced networking. Theory through practice. A pretty fun class based on the DOD model v. OSI 7 Layer model. More practical.
@malcolmcoles DaveN's theory is likely, maybe a combination of the two. Also maybe there isn't a standard price - it could be model specific
SharkSEO (illdave) Mon, 04 Jan 2010 10:37:06 -0000
@
Subscribe to Model_Theory RSS feed

directory of related sites

Finite Model Theory Homepage - People, problems, bibliographies, events.

Introduction to Model Theory - Homepage of a lecture course by Natasha Alechina, with a particular emphasis on topics relevant to computer science, such as bisimulation.

Model Theory of Fields: Suggested Reading - Short list of online resources compiled by David Marker.

Model Theory. Skolem's Paradox. Ramsey's Theorem. - Introductory essay by Karlis Podnieks, constituting appendices 1 and 2 of his book `Around Goedel's Theorems'.
Meta Description: [ What is Mathematics? Goedel's Theorem and Around. Textbook for students. Appendix 1, 2. By K.Podnieks ]

Model_Theory related videos
Fundamental Analysis
Next Video
Model_Theory related videos

 

HOMEADVERTISINGABOUT US

articlesartsbusinesscomputersgameshealthhospitalshomekids & teensnewsmobilephysiciansrecreationreferenceregionalscienceshoppingsocietysportsworld


Submit a Site About Become an Editor