From ad63d0a98d8595d3267fd81196cf8c96361bd911 Mon Sep 17 00:00:00 2001 From: Franciszek Malinka Date: Mon, 11 Jul 2022 20:13:42 +0200 Subject: Updates updates --- uwagi_29_06_22.txt | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'uwagi_29_06_22.txt') 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) -- cgit v1.2.3