1 files changed, 6 insertions, 2 deletions
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