Poniżej przytaczam Corollary 2.27 z książki Introduction to Mathematical Logic Elliotta Mendelsona (wydanie 6).
Każda teoria pierwszego rzędu z równością, która ma nieskończony model normalny, ma nieskończony przeliczalny model normalny.
Niestety nie rozumiem fragmentu dowodu. Mam wrażenie, że rozumowanie sprowadza się na takiej własności:
Niech \(\displaystyle{ K}\) będzie teorią z równością, która ma nieskończony model normalny. Rozszerzamy język teorii \(\displaystyle{ K}\) o skończoną ilość stałych \(\displaystyle{ b_1,\ldots, b_n}\) i dołączamy aksjomaty \(\displaystyle{ b_i\neq b_j}\) dla wszystkich \(\displaystyle{ i\neq j}\). Wówczas powstała teoria jest niesprzeczna.
Proszę o pomoc w udowodnieniu tej własności, bo dowód w książce jest dla mnie niejasny. Założenie, że ten model normalny jest nieskończony jest tutaj istotne, bo są teorie, gdzie wszystkie modele normalne są skończone. Wystarczy dodać jako aksjomat np. formułę \(\displaystyle{ \exists_x \forall_y x=y}\).
Teoria pierwszego rzędu z równością i model
-
- Użytkownik
- Posty: 2282
- Rejestracja: 14 cze 2011, o 11:34
- Płeć: Mężczyzna
- Lokalizacja: Sosnowiec
- Podziękował: 88 razy
- Pomógł: 351 razy
Teoria pierwszego rzędu z równością i model
Ostatnio zmieniony 15 mar 2023, o 15:07 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości.
Powód: Poprawa wiadomości.
- Dasio11
- Moderator
- Posty: 10218
- Rejestracja: 21 kwie 2009, o 19:04
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 40 razy
- Pomógł: 2361 razy
Re: Teoria pierwszego rzędu z równością i model
Skoro istnieje nieskończony model teorii \(\displaystyle{ K}\), to czy nie wystarczy go wzbogacić interpretując nowe symbole jako parami różne elementy?
-
- Użytkownik
- Posty: 2282
- Rejestracja: 14 cze 2011, o 11:34
- Płeć: Mężczyzna
- Lokalizacja: Sosnowiec
- Podziękował: 88 razy
- Pomógł: 351 razy
Re: Teoria pierwszego rzędu z równością i model
Faktycznie. Przeczytałem w dowodzie, że trzeba wziąć rozszerzenie danego modelu i to mnie zmyliło, bo myślałem, że trzeba powiększyć dziedzinę.
-
- Użytkownik
- Posty: 609
- Rejestracja: 10 lis 2009, o 22:39
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Pomógł: 135 razy
Re: Teoria pierwszego rzędu z równością i model
"expansion of a model" to po polsku nie "rozszerzenie modelu", lecz "wzbogacenie modelu", do modelu z tym samym uniwersum, lecz dla większego języka np. z dodatkowym symbolami stałych, relacji czy funkcji, przez odpowiednią interpretację tychże w modeli.
Natomiast "extension of a model" to po polsku "rozszerzenie modelu".
Natomiast "extension of a model" to po polsku "rozszerzenie modelu".