O zadaniach. Zadania są podzielone na kilka grup. Niektóre zadania są dosyć trudne. Pewne zadania powtarzają się w kilku grupach, aby zachęcić studentów do rozwiązania ich różnymi metodami.
Przy niektórych zadaniach (z działów ,,Tw. o zwartości” i ,,Tw. Skolema-Löwenheima”) należy się posłużyć pełną wersją twierdzenia Skolema-Löwenheima poniżej, która zostanie podana na najbliższym wykładzie:
Jeśli Δ jest zbiorem zdań nad sygnaturą Σ który ma nieskończony model, to Δ ma model dowolnej mocy m≥|Σ|.
Formalizowanie zadanych własności. Spektrum Spec(φ) zdania φ to zbiór wszystkich liczb naturalnych n takich, ze φ ma model o mocy n. Standardowy model arytmetyki to struktura N=⟨ω,∗N,+N,0N,1N,≤N⟩.
- Podać przykład zdania φ (sygnatura też jest do wyboru) takiego, że Spec(φ)=Spec(¬φ).
- Podać przykład zdania φ (sygnatura też jest do wyboru) takiego, że Spec(φ)={n2 / n∈N}.
- Podać przykład zdania φ (sygnatura też jest do wyboru) takiego, że Spec(φ)={2∗n / n∈N}.
- Podać przykład zdania φ (sygnatura też jest do wyboru) takiego, że Spec(φ)={n / n∈N i n jest liczb"a z"lo"ron"a}.n jest liczbą złożoną}.
- Podać przykład zdania φ (sygnatura też jest do wyboru) takiego, że Spec(φ)={2n / n∈N}.
- Podać przykład zdania φ (sygnatura też jest do wyboru) takiego, że dla każdego naturalnego n, φ ma dokładnie n nieizomorficznych modeli mocy n.
- Podać przykład zdania φ (sygnatura też jest do wyboru) takiego, że dla każdego naturalnego n, φ ma dokładnie 2n nieizomorficznych modeli mocy n.
- Podać przykład zdania φ (sygnatura też jest do wyboru) takiego, że dla każdego naturalnego n, φ ma dokładnie n! nieizomorficznych modeli mocy n.
- Dla ustalonego k∈N, podać przykład zdania φ (sygnatura też jest do wyboru) takiego, że dla każdego naturalnego n, φ ma dokładnie {n \choose k} nieizomorficznych modeli mocy n.
- Dla ustalonego k\in\mathbb{N}, podać przykład zdania \varphi (sygnatura też jest do wyboru) takiego, że dla każdego naturalnego n, \varphi ma dokładnie n^{k} nieizomorficznych modeli mocy n.
- Znaleźć formułę \varphi(x,y) stwierdzającą w standardowym modelu arytmetyki, że x jest względnie pierwsze z y.
- Znaleźć formułę \varphi(x,y,z) stwierdzającą w standardowym modelu arytmetyki, że z jest największym wspólnym dzielnikiem x i y.
- Znaleźć formułę \varphi(x,y,z) stwierdzającą w standardowym modelu arytmetyki, że y jest największą liczbą, będącą potęgą liczby pierwszej, która dzieli x.
Szukanie modeli dla zadanych formuł. W zadaniach ,,Pokazać, że zbiór zdań \Delta jest niezależny”, należy za każdym razem udowodnić, że dla każdego \varphi\in\Delta, \Delta\setminus\{\varphi\}\not\models\varphi, poprzez wskazanie modelu \Delta\setminus\{\varphi\}, który nie jest modelem \varphi.
- Pokazać, że zbiór aksjomatów relacji równoważności
\left\{\begin{array}[]{c}\forall x\forall y(Exy\to Eyx)\\ \forall x\ Exx\\ \forall x\forall y\forall z((Exy\land Eyz)\to Exz)\end{array}\right\}
jest niezależny.
-
Pokazać, że zbiór aksjomatów liniowych porządków
\left\{\begin{array}[]{c}\forall x\forall y((x\leq y)\lor(y\leq x))\\ \forall x\forall y((x\leq y\land y\leq x)\to x=y)\\ \forall x\forall y\forall z((x\leq y\land y\leq z)\to x\leq z)\end{array}\right\}
jest niezależny.
-
Pokazać, że zbiór aksjomatów teorii grup (w zapisie multiplikatywnym, nad sygnaturą
\Sigma^{F}_{{2}}=\{*\},\Sigma^{F}_{0}=\{ 1\})
\left\{\begin{array}[]{c}\forall x((1*x=x)\land(x*1=x))\\ \forall x\forall y\forall z((x*y)*z=x*(y*z))\\ \forall x\exists y((x*y=1)\land(y*x=1))\end{array}\right\}
jest niezależny.
- Pokazać, że zdanie (\forall x\exists y\ Exy)\to(\exists x\forall y\ Exy) nie jest tautologią.
-
Pokazać, że zdanie
(\forall x\forall y((f(x)=f(y))\to(x=y)))\to(\forall x\exists y(f(y)=x))
nie jest tautologią. Czy jego negacja ma model skończony?
-
Pokazać, że zdanie \exists x\exists y\exists u\exists v((\lnot u=x)\lor(\lnot v=y))\land(f(x,y)=f(u,v)) nie jest tautologią. Ile nieizomorficznych modeli skończonych ma to zdanie?
Tw. Fraïssé, gra Ehrenfeuchta.
- Udowodnić, że klasa wszystkich struktur \mathbb{A}=\langle A,r^{\mathbb{A}}\rangle, gdzie r\in\Sigma^{R}_{1} oraz takich, że |r^{\mathbb{A}}|=|A\setminus r^{\mathbb{A}}| nie jest aksjomatyzowalna.
- Udowodnić, że klasa wszystkich struktur \mathbb{A}=\langle A,E^{\mathbb{A}}\rangle nad sygnaturą składającą się z jednego dwuargumentowego symbolu relacyjnego E i takich, że |\{(a,b)\in A\times A~/~(a,b)\in E^{\mathbb{A}}\}|< |\{(a,b)\in A\times A~/~(a,b)\notin E^{\mathbb{A}}\}|, nie jest aksjomatyzowalna.
- Udowodnić, że klasa wszystkich struktur \mathbb{A}=\langle A,E^{\mathbb{A}}\rangle nad sygnaturą składającą się z jednego dwuargumentowego symbolu relacyjnego E i takich, że E^{\mathbb{A}} jest zbiorem skończonym, nie jest definiowalna.
- Pokazać, że klasa wszystkich relacji równoważności, które mają skończenie wiele klas abstrakcji, nie jest aksjomatyzowalna.
Tw. o zwartości.
- Pokazać, że jeśli klasa \mathcal{A} struktur nad sygnaturą \Sigma jest aksjomatyzowalna i jej dopełnienie Mod(\Sigma)\setminus\mathcal{A} struktur sygnatury \Sigma, ktore nie nalezą do \mathcal{A}, jest aksjomatyzowalne, to obie klasy są w istocie definiowalne.
Wskazówka: Założyć, że pierwsza klasa jest aksjomatyzowalna przez \Delta, a druga przez \Delta^{{\prime}}, ale żaden skończony podzbiór \Delta nie jest aksjomatyzacją \mathcal{A}. Pokazać, że \Delta\cup\Delta^{{\prime}} spełnia założenia tw. o zwartości.
-
Pokazać następujące tw. Robinsona: Jeśli \Delta,\Delta^{{\prime}} są spełnialnymi zbiorami zdań nad pewną sygnaturą \Sigma, zaś \Delta\cup\Delta^{{\prime}} nie jest spełnialny, to istnieje zdanie \varphi takie, że \Delta\models\varphi oraz \Delta^{{\prime}}\models\lnot\varphi.
Wskazówka: Założyć, że dla każdego \varphi takiego, że \Delta\models\varphi zachodzi \Delta^{{\prime}}\not\models\lnot\varphi. Pokazć, że w tej sytuacji \Delta^{{\prime}}\cup\{\varphi\} jest spełnialny, a stąd, że \Delta\cup\Delta^{{\prime}} spełnia zalożenia tw. o zwartości.
- Pokazać, że jeśli \Delta jest pewnym zbiorem zdań \varphi takich, że Spec(\lnot\varphi) jest skończone, oraz \Delta\models\psi, to także Spec(\lnot\psi) jest skończone.
- Pokazać, że klasa wszystkich relacji równoważności, które mają skończenie wiele klas abstrakcji, nie jest aksjomatyzowalna.
- Udowodnić, że klasa wszystkich struktur \mathbb{A}=\langle A,E^{\mathbb{A}}\rangle nad sygnaturą składającą się z jednego dwuargumentowego symbolu relacyjnego E i takich, że E^{\mathbb{A}} jest zbiorem skończonym, nie jest aksjomatyzowalna.
- Pokazać, że klasa wszystkich algebr \mathbb{A}=\langle A,f^{\mathbb{A}}\rangle, gdzie f jest symbolem jednoragumentowej funkcji, oraz takich, że |\vec{f}(A)|< |A| nie jest aksjomatyzowalna.
- Udowodnić, że klasa wszystkich struktur \mathbb{A}=\langle A,E^{\mathbb{A}}\rangle nad sygnaturą składającą się z jednego dwuargumentowego symbolu relacyjnego E i takich, że |\{(a,b)\in A\times A~/~(a,b)\in E^{\mathbb{A}}\}|< |\{(a,b)\in A\times A~/~(a,b)\notin E^{\mathbb{A}}\}|, nie jest aksjomatyzowalna.
- Udowodnić, że klasa wszystkich struktur \mathbb{A}=\langle A,r^{\mathbb{A}}\rangle, gdzie r\in\Sigma^{R}_{1} oraz takich, że |r^{\mathbb{A}}|=|A\setminus r^{\mathbb{A}}| nie jest aksjomatyzowalna.
Tw. Skolema-Löwenheima.
- Udowodnić, że klasa wszystkich struktur \mathbb{A}=\langle A,r^{\mathbb{A}}\rangle, gdzie r\in\Sigma^{R}_{1} oraz takich, że |r^{\mathbb{A}}|=2^{{|A\setminus r^{\mathbb{A}}|}} nie jest aksjomatyzowalna.
- Udowodnić, że klasa wszystkich struktur izomorficznych do struktury postaci \mathbb{A}=\langle\mathcal{P}(A),\cup^{\mathbb{A}},\cap^{\mathbb{A}},\subseteq^{\mathbb{A}}\rangle, gdzie \cup^{\mathbb{A}},\cap^{\mathbb{A}} oraz \subseteq^{\mathbb{A}} są odpowiednio prawdziwymi sumą, przecięciem i zawieraniem zbiorów, nie jest aksjomatyzowalna.
- Udowodnić następujące tw. Hessenberga: Dla każdej nieskończonej mocy \mathfrak{m} zachodzi \mathfrak{m}^{2}=\mathfrak{m}.
Wskazówka: Napisać zdanie pierwszego rzędu, z którego wynika, że uniwersum modelu jest mocy nie mniejszej niż moc jego kartezjańskiego kwadratu. Pokazać, że zdanie to ma model nieskończony i skorzystać z tw. Skolema-Löwenheima.