Updates updates

1 files changed, 6 insertions, 6 deletions

diff --git a/uwagi_29_06_22.txt b/uwagi_29_06_22.txt
index 33d8715..805fb21 100644
--- a/uwagi_29_06_22.txt
+++ b/uwagi_29_06_22.txt
@@ -142,23 +142,23 @@ n and without the loss of generality we may assume that
 

 - [ ] "With a similar argument we can see that (Γ, g) is weakly ultrahomogeneous." to trochę oszustwo, wytłumacz to nieco dokładniej.

 

-- [ ] Po 4.4 powinien być wniosek, że kanoniczna amalgamacja+whp dają konkluzję 4.4, a potem z tego, że wolna amalgamacja daje 4.4

+- [x] Po 4.4 powinien być wniosek, że kanoniczna amalgamacja+whp dają konkluzję 4.4, a potem z tego, że wolna amalgamacja daje 4.4

 

 - [ ] W sekcji 4.3 brakuje założeń.

 

-- [ ] Jak przekształcenie naturalne jest izomorfizmem, to ten składowe też są izomorfizmami (w dwie strony)

+- [x] Jak przekształcenie naturalne jest izomorfizmem, to ten składowe też są izomorfizmami (w dwie strony)

 

 - [x] Dodać że wolna amalgamacja implikuje własność hrushovskiego.

 

-- [ ] Upewnić się, że używam konsekwentnie angielskiego zapisu "meagre", a nie "meager"

+- [x] Upewnić się, że używam konsekwentnie angielskiego zapisu "meagre", a nie "meager"

 

-- [ ] Poprawić definicję WHP na taką, że to chodzi o finitely generated podstruktury

+- [x] 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

+- [x] Dodać uwagę, że jak piszę (\Pi, \sigma) to chodzi mi o co innego niż jak piszę \Pi

 

 - [ ] "Odmętnić" początek dowódu 3.23

 

-- [ ] Poprawić wielkości liter przy theorem, facts itd

+- [x] Poprawić wielkości liter przy theorem, facts itd

 

 - [ ] Przykłady (porządki liniowe, porządki cykliczne, przestrzenie liniowe)