Barwise věta o kompaktnosti - Barwise compactness theorem

v matematická logika, Barwise věta o kompaktnosti, pojmenoval podle Jon Barwise, je zobecněním obvyklého věta o kompaktnosti pro logika prvního řádu do určité třídy nekonečných jazyků. Bylo uvedeno a prokázáno Barwise v roce 1967.

Prohlášení

Nechat ${ displaystyle A}$ být spočítatelný přípustná sada. Nechat ${ displaystyle L}$ být ${ displaystyle A}$- konečný relační Jazyk. Předpokládat ${ displaystyle Gamma}$ je sada ${ displaystyle L_ {A}}$- věty, kde ${ displaystyle Gamma}$ je ${ displaystyle Sigma _ {1}}$ nastaven s parametry z ${ displaystyle A}$a všechny ${ displaystyle A}$- konečná podmnožina ${ displaystyle Gamma}$ je uspokojivý. Pak ${ displaystyle Gamma}$ je uspokojivý.

Reference

• Barwise, J. (1967). Infinitární logika a přípustné sady (disertační práce). Stanfordská Univerzita.
• C. J. Ash; Knight, J. (2000). Vypočitatelné struktury a hyperaritmetická hierarchie. Elsevier. str. 366. ISBN  0-444-50072-3.
• Jon Barwise; Solomon Feferman; John T. Baldwin (1985). Modelově teoretická logika. Springer-Verlag. str.295. ISBN  3-540-90936-2.

externí odkazy

• Stanfordská encyklopedie filozofie: „Infinitary Logic“, Sekce 5, „Subjazyky L (ω1, ω) a Barwiseova věta o kompaktnosti“

Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.