Compactness theorem

The compactness theorem is a basic fact in symbolic logic and model theory and asserts that a set of first-order sentences is satisfiable, i.e., has a model, if and only if every finite subset of it is satisfiable.

Applications

From the theorem it follows for instance that if some first-order sentence holds for every field of characteristic zero, then there exists a constant p such that the sentence holds for every field of characteristic larger than p. This can be seen as follows: suppose S is the sentence under consideration. Then its negation ~S, together with the field axioms and the infinite series of sentences 1+1 ≠ 0, 1+1+1 ≠ 0, ... is not satisfiable by assumption. Therefore a finite subset of these sentences is not satisfiable, meaning that S holds in those fields which have large enough characteristic.

Also, it follows from the theorem that any theory that has an infinite model has models of arbitrary large cardinality. So, for instance, there are nonstandard models of Peano arithmetic with uncountably many natural numbers. The nonstandard analysis is another example where infinite natural numbers appear, a possibility that cannot be excluded by any axiomatization - also a consequence of the compactness theorem.

Proofs

One can prove the compactness theorem using Gödel's completeness theorem, which establishes that a set of sentences is satisfiable if and only if no contradiction can be proven from it. Since proofs are always finite and therefore involve only finitely many of the given sentences, the compactness theorem follows.

Gödel originally proved the compactness theorem in just this way, but later some "purely semantic" proofs of the compactness theorem were found, i.e., proofs that refer to truth but not to provability. One of those proofs relies on ultraproducts.



In the News

Duke 'All-optical' Switch Could Advance Light-based Telecommunications
Duke University physicists have developed a switching technique that uses a very weak beam of light to control a much stronger beam. The achievement could make optical telecommunications devices perform far more efficiently, and perhaps also aid in the development of futuristic quantum communications devices, the scientists said.

Hummingbirds Lose Power At High Altitudes
Hummingbirds aren't known for their power-lifting prowess. But researchers nevertheless put nearly 1,000 Peruvian hummers through lifting trials and flight tests over a two-year stretch in order to find out how their flying abilities are affected by the lower oxygen and thin air of higher elevations.

In the First Person: An Index to Letters, Diaries, Oral Histories and
This site "provides in-depth indexing of more than 2,500 collections of oral history in English from around the world."Covers topics such as historical events, repositories, narrator, year, and subject. Search results include bibliographic records, excerpts from materials, and links to texts. (Access to some texts requires subscriptions.) From Alexander Street Press.

Antarctic Ozone Hole Shrinking Because Of Mild Weather, Not Recovery
Although the ozone layer over the Antarctic this year is relatively small, this is due to mild temperatures in the region's stratosphere this winter and is not a sign of recovery, the United Nations World Meteorological Organization has said. As greenhouse gases accumulate in the atmosphere, temperatures will fall in the stratosphere, increasing the threat of severe ozone holes in the future.

Disaster in the Making
Story from September 2004 on the Federal Emergency Management Agency (FEMA), covering early history, changes to FEMA under George W. Bush, and concerns with FEMA after it became part of the Department of Homeland Security, such as the worry raised in a linked article that "the agency has become more focused on fighting terrorist attacks than hurricanes or floods."From the Independent Weekly (North Carolina) with contributions from papers in Jacksonville, Florida, and New Orleans.

Scientists Gain New Insights Into 'Frozen' Methane Beneath Ocean Floor
An international team of scientists supported by the Integrated Ocean Drilling Program (IODP) has completed a unique research expedition aimed at recovering samples of gas hydrate, an ice-like substance hidden beneath the seafloor off Canada's western coast. Gas hydrate, a mixture of water and mostly methane, is believed to occur under the world's oceans in great abundance, but it quickly "melts"once removed from the high pressure and cold temperatures of its natural environment, making it very challenging to recover and analyze.

Treatment Extends Survival In Mouse Model Of Spinal Muscular Atrophy
Drug therapy can extend survival and improve movement in a mouse model of spinal muscular atrophy (SMA), new research shows. The study, carried out at the NIH's National Institute of Neurological Disorders and Stroke (NINDS), suggests that similar drugs might one day be useful for treating human SMA.

What Comes First -- The Chicken, The Egg, Or The Bad Attitude?
Researchers at the University of Alberta have discovered that chickens raised for meat can choose whether or not they'll funnel the nutrients they eat towards themselves or their eggs.

Nitric Oxide Could Extend Fertility
Researchers have found that an important chemical compound, nitric oxide, appears to slow or reverse the aging of eggs in mouse ovaries. The finding suggests nitric oxide could one day help women in their 30s and 40s remain fertile longer and increase their chances of having healthy babies, the scientists say.The finding, by investigators at Wayne State University School of Medicine in Detroit, was published in the Aug. 30 issue of Biochemistry, an American Chemical Society journal.

Scra-Scra-Scratching Thin Air
Researchers have cooked up a new tool for digital DJs: a device that converts movement into music. Clubs may soon be MC'd by DJs who produce the signature scratch sound by waving their arms in the air. By Jonny Evans.


MP3 Music Downloads

Preview songs, Download Free Music,Burn CDs at ITunes.com
iTunes_RGB_9mm

 


Google




InformationQuickFind.com - Find Information Fast

Links