From b3dab8fb10581feca94a76364b2ed4298675dbf8 Mon Sep 17 00:00:00 2001 From: Franciszek Malinka Date: Sun, 10 Jul 2022 17:24:08 +0200 Subject: Theorem 3.23 fixed (hopefully) --- uwagi_29_06_22.txt | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'uwagi_29_06_22.txt') diff --git a/uwagi_29_06_22.txt b/uwagi_29_06_22.txt index 9f6113d..0512dde 100644 --- a/uwagi_29_06_22.txt +++ b/uwagi_29_06_22.txt @@ -86,11 +86,11 @@ R ⊆ Π, because is the age of Π" nie jest jasne, czemu możesz tak założy - [x] W następnym akapicie "Now, take any structure A, B": structures. -- [ ] "Let ¯A be the smallest structure closed on the automorphism σ and containg A.": A tylda powinno być podstrukturą Pi i closed under, nie on. +- [x] "Let ¯A be the smallest structure closed on the automorphism σ and containg A.": A tylda powinno być podstrukturą Pi i closed under, nie on. - [ ] "By the weak Hrushovski property, of let (¯B,β) be a structure extending (B ∪ ¯A,σ ↾¯A).": to z grubsza działa, ale: B ∪ ¯A nie jest strukturą w C pisanym (musisz użyć JEP). A priori może się zdarzyć nawet tak, że literalnie to nie działa, bo B ∪ ¯A nie ma żadnej kompatybilnej struktury z jakichś głupich powodów, więć powinieneś to zrobićw dwóch krokach (i nie wszystkie strzałki na począku strony 12 muszą być naprawdę włożeniami). Po drugie przecinek po property jest zbędny. -- [ ] "Π is indeed a weakly ultrahomogeneous structure in " na następnej stronie jest trochę bez sensu. Wiadomo o co Ci chodzi, ale Pi nie jest w C pisanym. Po prostu Pi jest weakly ultrahomogeneous. +- [x] "Π is indeed a weakly ultrahomogeneous structure in " na następnej stronie jest trochę bez sensu. Wiadomo o co Ci chodzi, ale Pi nie jest w C pisanym. Po prostu Pi jest weakly ultrahomogeneous. - [ ] Ja bym przeformułował 4.1 jako remark. I napisał, że jest easy to see. @@ -151,3 +151,7 @@ n and without the loss of generality we may assume that - [x] Dodać że wolna amalgamacja implikuje własność hrushovskiego. - [ ] Upewnić się, że używam konsekwentnie angielskiego zapisu "meagre", a nie "meager" + +- [ ] Poprawić definicję WHP na taką, że to chodzi o finitely generated podstruktury + +- [ ] Dodać uwagę, że jak piszę (\Pi, \sigma) to chodzi mi o co innego niż jak piszę \Pi -- cgit v1.2.3