In mathematical logic, the compactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model. This theorem is an important tool in model theory, as it provides a useful (but generally not effective) method for constructing models of any set of sentences that is finitely consistent.
The compactness theorem for the propositional calculus is a consequence of Tychonoff's theorem (which says that the product of compact spaces is compact) applied to compact Stone spaces,[1] hence the theorem's name. Likewise, it is analogous to the finite intersection property characterization of compactness in topological spaces: a collection of closed sets in a compact space has a non-empty intersection if every finite subcollection has a non-empty intersection.
The compactness theorem is one of the two key properties, along with the downward Löwenheim–Skolem theorem, that is used in Lindström's theorem to characterize first-order logic. Although there are some generalizations of the compactness theorem to non-first-order logics, the compactness theorem itself does not hold in them, except for a very limited number of examples.[2]
Kurt Gödel proved the countable compactness theorem in 1930. Anatoly Maltsev proved the uncountable case in 1936.[3][4]
The compactness theorem has many applications in model theory; a few typical results are sketched here.
The compactness theorem implies the following result, stated by Abraham Robinson in his 1949 dissertation.
Robinson's principle:[5][6] If a first-order sentence holds in every field of characteristic zero, then there exists a constant p {\displaystyle p} such that the sentence holds for every field of characteristic larger than p . {\displaystyle p.} This can be seen as follows: suppose φ φ --> {\displaystyle \varphi } is a sentence that holds in every field of characteristic zero. Then its negation ¬ ¬ --> φ φ --> , {\displaystyle \lnot \varphi ,} together with the field axioms and the infinite sequence of sentences 1 + 1 ≠ ≠ --> 0 , 1 + 1 + 1 ≠ ≠ --> 0 , … … --> {\displaystyle 1+1\neq 0,\;\;1+1+1\neq 0,\;\ldots } is not satisfiable (because there is no field of characteristic 0 in which ¬ ¬ --> φ φ --> {\displaystyle \lnot \varphi } holds, and the infinite sequence of sentences ensures any model would be a field of characteristic 0). Therefore, there is a finite subset A {\displaystyle A} of these sentences that is not satisfiable. A {\displaystyle A} must contain ¬ ¬ --> φ φ --> {\displaystyle \lnot \varphi } because otherwise it would be satisfiable. Because adding more sentences to A {\displaystyle A} does not change unsatisfiability, we can assume that A {\displaystyle A} contains the field axioms and, for some k , {\displaystyle k,} the first k {\displaystyle k} sentences of the form 1 + 1 + ⋯ ⋯ --> + 1 ≠ ≠ --> 0. {\displaystyle 1+1+\cdots +1\neq 0.} Let B {\displaystyle B} contain all the sentences of A {\displaystyle A} except ¬ ¬ --> φ φ --> . {\displaystyle \lnot \varphi .} Then any field with a characteristic greater than k {\displaystyle k} is a model of B , {\displaystyle B,} and ¬ ¬ --> φ φ --> {\displaystyle \lnot \varphi } together with B {\displaystyle B} is not satisfiable. This means that φ φ --> {\displaystyle \varphi } must hold in every model of B , {\displaystyle B,} which means precisely that φ φ --> {\displaystyle \varphi } holds in every field of characteristic greater than k . {\displaystyle k.} This completes the proof.
The Lefschetz principle, one of the first examples of a transfer principle, extends this result. A first-order sentence φ φ --> {\displaystyle \varphi } in the language of rings is true in some (or equivalently, in every) algebraically closed field of characteristic 0 (such as the complex numbers for instance) if and only if there exist infinitely many primes p {\displaystyle p} for which φ φ --> {\displaystyle \varphi } is true in some algebraically closed field of characteristic p , {\displaystyle p,} in which case φ φ --> {\displaystyle \varphi } is true in all algebraically closed fields of sufficiently large non-0 characteristic p . {\displaystyle p.} [5] One consequence is the following special case of the Ax–Grothendieck theorem: all injective complex polynomials C n → → --> C n {\displaystyle \mathbb {C} ^{n}\to \mathbb {C} ^{n}} are surjective[5] (indeed, it can even be shown that its inverse will also be a polynomial).[7] In fact, the surjectivity conclusion remains true for any injective polynomial F n → → --> F n {\displaystyle F^{n}\to F^{n}} where F {\displaystyle F} is a finite field or the algebraic closure of such a field.[7]
A second application of the compactness theorem shows that any theory that has arbitrarily large finite models, or a single infinite model, has models of arbitrary large cardinality (this is the Upward Löwenheim–Skolem theorem). So for instance, there are nonstandard models of Peano arithmetic with uncountably many 'natural numbers'. To achieve this, let T {\displaystyle T} be the initial theory and let κ κ --> {\displaystyle \kappa } be any cardinal number. Add to the language of T {\displaystyle T} one constant symbol for every element of κ κ --> . {\displaystyle \kappa .} Then add to T {\displaystyle T} a collection of sentences that say that the objects denoted by any two distinct constant symbols from the new collection are distinct (this is a collection of κ κ --> 2 {\displaystyle \kappa ^{2}} sentences). Since every finite subset of this new theory is satisfiable by a sufficiently large finite model of T , {\displaystyle T,} or by any infinite model, the entire extended theory is satisfiable. But any model of the extended theory has cardinality at least κ κ --> {\displaystyle \kappa } .
A third application of the compactness theorem is the construction of nonstandard models of the real numbers, that is, consistent extensions of the theory of the real numbers that contain "infinitesimal" numbers. To see this, let Σ Σ --> {\displaystyle \Sigma } be a first-order axiomatization of the theory of the real numbers. Consider the theory obtained by adding a new constant symbol ε ε --> {\displaystyle \varepsilon } to the language and adjoining to Σ Σ --> {\displaystyle \Sigma } the axiom ε ε --> > 0 {\displaystyle \varepsilon >0} and the axioms ε ε --> < 1 n {\displaystyle \varepsilon <{\tfrac {1}{n}}} for all positive integers n . {\displaystyle n.} Clearly, the standard real numbers R {\displaystyle \mathbb {R} } are a model for every finite subset of these axioms, because the real numbers satisfy everything in Σ Σ --> {\displaystyle \Sigma } and, by suitable choice of ε ε --> , {\displaystyle \varepsilon ,} can be made to satisfy any finite subset of the axioms about ε ε --> . {\displaystyle \varepsilon .} By the compactness theorem, there is a model ∗ ∗ --> R {\displaystyle {}^{*}\mathbb {R} } that satisfies Σ Σ --> {\displaystyle \Sigma } and also contains an infinitesimal element ε ε --> . {\displaystyle \varepsilon .}
A similar argument, this time adjoining the axioms ω ω --> > 0 , ω ω --> > 1 , … … --> , {\displaystyle \omega >0,\;\omega >1,\ldots ,} etc., shows that the existence of numbers with infinitely large magnitudes cannot be ruled out by any axiomatization Σ Σ --> {\displaystyle \Sigma } of the reals.[8]
It can be shown that the hyperreal numbers ∗ ∗ --> R {\displaystyle {}^{*}\mathbb {R} } satisfy the transfer principle:[9] a first-order sentence is true of R {\displaystyle \mathbb {R} } if and only if it is true of ∗ ∗ --> R . {\displaystyle {}^{*}\mathbb {R} .}
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. In fact, the compactness theorem is equivalent to Gödel's completeness theorem, and both are equivalent to the Boolean prime ideal theorem, a weak form of the axiom of choice.[10]
Gödel originally proved the compactness theorem in just this way, but later some "purely semantic" proofs of the compactness theorem were found; that is, proofs that refer to truth but not to provability. One of those proofs relies on ultraproducts hinging on the axiom of choice as follows:
Proof: Fix a first-order language L , {\displaystyle L,} and let Σ Σ --> {\displaystyle \Sigma } be a collection of L {\displaystyle L} -sentences such that every finite subcollection of L {\displaystyle L} -sentences, i ⊆ ⊆ --> Σ Σ --> {\displaystyle i\subseteq \Sigma } of it has a model M i . {\displaystyle {\mathcal {M}}_{i}.} Also let ∏ ∏ --> i ⊆ ⊆ --> Σ Σ --> M i {\textstyle \prod _{i\subseteq \Sigma }{\mathcal {M}}_{i}} be the direct product of the structures and I {\displaystyle I} be the collection of finite subsets of Σ Σ --> . {\displaystyle \Sigma .} For each i ∈ ∈ --> I , {\displaystyle i\in I,} let A i = { j ∈ ∈ --> I : j ⊇ ⊇ --> i } . {\displaystyle A_{i}=\{j\in I:j\supseteq i\}.} The family of all of these sets A i {\displaystyle A_{i}} generates a proper filter, so there is an ultrafilter U {\displaystyle U} containing all sets of the form A i . {\displaystyle A_{i}.}
Now for any sentence φ φ --> {\displaystyle \varphi } in Σ Σ --> : {\displaystyle \Sigma :}
Łoś's theorem now implies that φ φ --> {\displaystyle \varphi } holds in the ultraproduct ∏ ∏ --> i ⊆ ⊆ --> Σ Σ --> M i / U . {\textstyle \prod _{i\subseteq \Sigma }{\mathcal {M}}_{i}/U.} So this ultraproduct satisfies all formulas in Σ Σ --> . {\displaystyle \Sigma .}
Ruta Nacional 05 Conexión Transversal Tumaco - Leticia y Ecuador Colombia Colombia Trazado actual Trazado anterior según Res. 3700 de 1995 (existente) Trazado anterior según Res. 3700 de 1995 (inexistente)Datos de la rutaIdentificador Tipo TroncalLongitud 18.90 kmAdministraciónAdministración INVIASTitular Ministerio de TransporteRed PrimariaOtros datosPavimentación 18.90 km (100%)Doble …
Peta lokasi Kabupaten Lumajang Berikut adalah daftar kecamatan dan kelurahan/desa di Kabupaten Lumajang, Provinsi Jawa Timur, Indonesia dengan kode wilayah administrasi 35.08. Kabupaten Lumajang terdiri dari 21 kecamatan, 7 kelurahan, dan 198 desa. Pada tahun 2017, jumlah penduduknya mencapai 1.108.060 jiwa dengan luas wilayah 1.790,90 km² dan sebaran penduduk 618 jiwa/km².[1][2] Daftar kecamatan dan kelurahan di Kabupaten Lumajang, adalah sebagai berikut: Kode Kemendagri Kecam…
Elizabeth Arden, Inc.JenisAnak perusahaanDidirikan1910; 112 tahun lalu (1910) (dengan nama Red Door)PendiriElizabeth ArdenKantorpusatMiramar, Florida, Amerika SerikatTokohkunciDebra Perelman (Presiden dan CEO)ProdukKosmetik, perawatan kulit, dan parfumPendapatanUS$966,7 juta[1] (2016)Laba operasiUS$−40,9 juta[1] (2016)Laba bersihUS$−73,5 juta[1] (2016)Karyawan~1.900 (purna waktu)~500 (paruh waktu)[1] (2016)IndukRevlon, Inc.Situs webeli…
1970 British sci-fi TV serial The Silurians redirects here. For the fictional race themselves, see Silurian (Doctor Who). 1970 Doctor Who serial052 – Doctor Who and the SiluriansDoctor Who serialOne Silurian from the storyCastDoctor Jon Pertwee – Third Doctor Companion Caroline John – Liz Shaw Others Nicholas Courtney – Brigadier Lethbridge-Stewart Fulton Mackay – Dr. Quinn Peter Miles – Dr. Lawrence Ian Cunningham – Dr. Meredith Norman Jones – Major Baker Thomasine Heine…
Lambang dari Oberpfalz Oberpfalz (bahasa Inggris: Upper Palatinate) adalah satu dari tujuh distrik administratif di Bavaria, Jerman, yang terletak di Bavaria Timur. Oberpfalz (Upper Palatinate) di Bavaria secara tradisional telah diperintah oleh Wangsa Wittelsbach oleh para elektor mereka di Palatinate sepanjang Sungai Rhein. Wangsa Wittelsbach tinggal dalam kemegahan istana di Heidelberg dan kemudian tinggal di istana Barok di Mannheim; yang merupakan istana terbesar di Jerman. Pada tahun 1…
متحف العجيري الفلكي معلومات عامة نوع المبنى علمي · فلكي · تاريخي العنوان ضاحية الزهراء قطعة 7 القرية أو المدينة جنوب السرة، محافظة حولي الدولة الكويت سنة التأسيس الثلاثاء، 6 أغسطس 2013 تاريخ الافتتاح الرسمي 2 ديسمبر 2013 المجموعات النادي العلمي الكويتي المدير محمد الهد
Cyclone season in the Southwest Indian Ocean 1964–65 South-West Indian Ocean cyclone seasonSeason summary mapSeasonal boundariesFirst system formedDecember 4, 1964Last system dissipatedMay 6, 1965Strongest stormNameFreda • Maximum winds120 km/h (75 mph)(1-minute sustained) Seasonal statisticsTotal depressions14Total storms11Tropical cyclones2Total fatalitiesUnknownTotal damageUnknownRelated articles 1964–65 Australian region cyclone season 1964–65 South Pacific cyclone season S…
Clause outlawing war to settle disputes Article 9 of the Japanese Constitution (日本国憲法第9条, Nihon koku kenpō dai kyū-jō) is a clause in the Constitution of Japan outlawing war as a means to settle international disputes involving the state. The Constitution came into effect on 3 May 1947, following the surrender of Japan in World War II. In its text, the state formally renounces the sovereign right of belligerency and aims at an international peace based on justice and order. The …
Eslovenia Estación miembro RTVSLO Final Nacional EMA Apariciones 26 (15 finales) Primera aparición 1993 Mejor resultado Final 7° 1995, 2001 Semifinal 1° 1993 Peor resultado Final 25° 2014 Semifinal 21.º 2004 Enlaces externos Página en RTVSLO Página de Eslovenia en Eurovision.tv Eslovenia ha participado en el Festival de la Canción de Eurovisión desde su debut en 1993. Eslovenia fue uno de los tres primeros países que se adhirieron al festival con la caída de la Unión Soviética y la…
Turkish basketball season Main article: Galatasaray S.K. Galatasaray Tunç Holding2021–22 seasonPresidentBurak Elmas(until 11 June 2022)Dursun Özbek(from 11 June 2022)Head coachRemzi Sedat İncesuArenaBeylikdüzü Spor KompleksiTurkish Wheelchair Basketball Super League4th seed0Playoffs04th← 2020–212022–23 → 2021–22 Galatasaray SK Wheelchair Basketball Season is the 2021–2022 basketball season for Turkish professional basketball club Galatasaray. Sponsorship and …
Anna Vissi (2011) Anna Vissi (griechisch Άννα Βίσση, * 20. Dezember 1957 in Larnaka auf Zypern) ist eine griechisch-zyprische Popsängerin. Inhaltsverzeichnis 1 Leben 2 Diskografie 2.1 Griechische Alben 2.2 Englische Alben 2.3 Singles 3 Quellen 4 Weblinks Leben Vissi wuchs bei ihren Eltern Nestor und Sophia Vissi auf und begann bereits mit drei Jahren zu singen. Sie gründete mit ihren Schwestern Lia und Nicki die Folkband „The Vissi Sisters“. 1973 gewann sie einen zypriotischen Tal…
Drama komedi, atau komedi drama kadang-kadang dikenal sebagai dramedi (singkatan dari kata drama dan komedi)[1] adalah sebuah sub genre dalam bentuk kontemporer dari tragikomedi, terutama di televisi, yang menggabungkan unsur komedi dan drama.[2][3] Lihat pula Komedi hitam Struktur dramatik Melodrama Keseriusan Tragikomedi Referensi ^ Dramedy. Dictionary.com Unabridged. Diakses tanggal 2012-07-30. ^ Joel D. Chaston (January 2001). Baum, Bakhtin, and Broadway: A Cent…
هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (نوفمبر 2019) سوهراب فوسوغي معلومات شخصية الميلاد 25 يونيو 1956 (67 سنة) طهران مواطنة إيران الحياة العملية المدرسة الأم جامعة سان هوزيه الحكومية المهنة مصمم، و…
American textile company Mid-20th century postcard showing an aerial view of the American Viscose Corporation Plant in Front Royal, Virginia. American Viscose Corporation Industrial Village built to house workers in Marcus Hook, Pennsylvania American Viscose Corporation was an American division of the British firm Courtaulds, which manufactured rayon and other synthetic fibres. The company operated from 1910 to 1976 when it was renamed Avtex. Avtex closed in 1990. History Vacant American Viscose…
British general and politician (1762–1823) For his uncle, Lieutenant-General Sir Eyre Coote, see Eyre Coote (East India Company officer). Eyre CooteAn 1895 illustration of CooteGovernor of JamaicaIn office1806–1808Preceded bySir George Nugent, 1st BaronetSucceeded byWilliam Montagu, 5th Duke of Manchester Personal detailsDied10 December 1823 (1823-12-11) (aged 61)Spouses Sarah Rodbard (1765–1795) Jane Bagwell ChildrenCatherine, Sarah and Susannah and Eyre Coote.Parents Charles Co…
623D Air Control SquadronActive1943-1973; 1979-1980; 1983-PresentCountryUnited StatesBranchUnited States Air ForceTypeCommand and ControlPart ofPacific Air Forces 5th Air Force 18th Wing 18th Operations GroupGarrison/HQKadena Air BaseNickname(s)OKINAWA CONTROL 02 Jul 1946-07 Jul 1956 WAYSIDE[1] 31 Jul 1956-08 Jul 1973 LIGHTSWORD 01 April 1983-Present Motto(s)SEMPER VIGILANTESMascot(s)Fightin' YagiCommandersCurrentcommanderLt Col Jeffrey JT Mitchell 11 June 21-Present Insignia623D Ai…
此條目需要擴充。 (2010年9月25日)请協助改善这篇條目,更進一步的信息可能會在討論頁或扩充请求中找到。请在擴充條目後將此模板移除。 北投天寶聖道宮位於台灣台北市幽雅路,為主祀玉皇大帝之道教廟宇。該建物興建於1987年,今為位於台北北投區之仿古廟宇建築。另外,該廟宇的組織型態為管理人制,祭典日期則是每年農曆之十月十五。 參考文獻 台北市民政局編,《台…
У этого термина существуют и другие значения, см. Пауни (значения). Пауни Численность 6800[1] Расселение Оклахома Язык английский, пауни Религия христианство, анимизм, церковь коренных американцев Родственные народы кэддо, арикара, уичита Этнические группы скиди, чауи, пи…
Species of plant For other uses, see Taro (disambiguation). Not to be confused with tarot. This article or section should specify the language of its non-English content, using {{lang}}, {{transliteration}} for transliterated languages, and {{IPA}} for phonetic transcriptions, with an appropriate ISO 639 code. Wikipedia's multilingual support templates may also be used. See why. (November 2021) Taro Scientific classification Kingdom: Pl…
Puteri Indonesia Papua BaratLogo Puteri IndonesiaPembuatMooryati SoedibyoNegara asal Papua Barat, IndonesiaRilis asliRilis2005 –Sekarang Puteri Indonesia Papua Barat adalah sebuah kontes kecantikan yang ada di provinsi Papua Barat, yang diadakan sejak tahun 2005 dengan nama provinsi Irian Jaya Barat, dan pada tahun berikutnya berubah menjadi Papua Barat. Setelah provinsi Papua Barat dimekarkan dari provinsi Papua, wilayah ini mengadakan kontes regional terpisah di mana pemenangnya ak…
Lokasi Pengunjung: 3.149.26.83