diff options
| author | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-07-10 17:24:08 +0200 |
|---|---|---|
| committer | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-07-10 17:24:08 +0200 |
| commit | b3dab8fb10581feca94a76364b2ed4298675dbf8 (patch) | |
| tree | 716ff729435ac5dac351e0780b1001001a736a9b /uwagi_29_06_22.txt | |
| parent | dbe944be2941d04c8391ada2ba6c657be77aea60 (diff) | |
Theorem 3.23 fixed (hopefully)
Diffstat (limited to 'uwagi_29_06_22.txt')
| -rw-r--r-- | uwagi_29_06_22.txt | 8 |
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
|