Logika ciągła i jej algebraiczne zastosowania
2011/01/B/ST1/01406
Słowa kluczowe
Deskryptory
- ST1_1: Logika i podstawy matematyki
- ST1_2: Algebra
Panel
ST1 – Nauki matematyczne: wszystkie dziedziny matematyki, teoretyczne oraz stosowane a także podstawy matematyczne informatyki, fizyka matematyczna i statystyka matematyczna
Jednostka realizująca
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
woj. dolnośląskie
Kierownik projektu (z jednostki realizującej)
Liczba wykonawców projektu: 1
Konkurs
OPUS 1 – ogłoszony 2011-03-15
- Przyznana kwota
- 113 200 PLN
- Rozpoczęcie projektu
- 2011-12-01
- Zakończenie projektu
- 2014-11-30
- Planowany czas trwania projektu
- 36 miesięcy (z wniosku)
- Status projektu
- Projekt rozliczony
Zakupiona aparatura
- Zestaw komputerowy. Za kwotę 3 000 PLN
- tablet HP mini. Za kwotę 1 000 PLN
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (11)
-
Locally compact groups and continuous logic
- Autorzy:
- A.Ivanov
- Czasopismo:
- opublikowana w postaci preprintu arXiv:1206.5473 (rok: 2012, tom: -, strony: 22 str), Wydawca: Cornell University Library
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Polish G-spaces and continuous logic
- Autorzy:
- A.Ivanov, B.Majcher-Iwanow
- Czasopismo:
- opublikowana w postaci preprintu arXiv:1304.5135 (rok: 2013, tom: -, strony: 47 str), Wydawca: Cornell University Library
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Nice enumerations and extreme amenability
- Autorzy:
- A.Ivanov
- Czasopismo:
- opublikowana w postaci preprintu arXiv:1310.7116 (rok: 2013, tom: -, strony: 20 str), Wydawca: Cornell University Library
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
An omega-categorical structure with amenable automorphism group
- Autorzy:
- A.Ivanov
- Czasopismo:
- Mathematical Logic Quarterly (rok: 2015, tom: 61, strony: 307 - 314), Wydawca: Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim
- Status:
- Opublikowana
- DOI:
- 10.1002/malq.201400036 – link do publikacji
-
Topological dynamics of automorphism groups of countably categorical structures
- Autorzy:
- A.Ivanov
- Czasopismo:
- opublikowana w postaci preprintu arXiv:1412.6657 (rok: 2014, tom: -, strony: 17 str.), Wydawca: Cornell University Library
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
An amalgamation property for metric spaces
- Autorzy:
- A.Ivanov, B.Majcher-Iwanow
- Czasopismo:
- Algebra and discrete mathematics (rok: 2016, tom: 22, strony: 233 - 239), Wydawca: Lugansk National Taras Shevchenko University
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Polish G-spaces and continuous logic
- Autorzy:
- A.Ivanov, B.Majcher-Iwanow
- Czasopismo:
- Annals of Pure and Applied Logic (rok: 2017, tom: 168, strony: 749 - 775), Wydawca: Elsevier
- Status:
- Opublikowana
- DOI:
- 10.1016/j.apal.2016.11.002 – link do publikacji
-
Locally compact groups which are separably categorical structures
- Autorzy:
- A.Ivanov
- Czasopismo:
- Archive for Mathematical Logic (rok: 2017, tom: 56, strony: 67 - 78), Wydawca: Springer
- Status:
- Opublikowana
- DOI:
- 10.1007/s00153-016-0516-5 – link do publikacji
-
An omega-categorical structure with amenable automorphism group
- Autorzy:
- A.Ivanov
- Czasopismo:
- opublikowana w postaci preprintu arXiv:1403.7610 (rok: 2014, tom: -, strony: 12 str), Wydawca: Cornell University Library
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Metric ultraproducts of finite groups with respect to some length functions
- Autorzy:
- A.Ivanov
- Czasopismo:
- opublikowana w postaci preprintu arXiv:1401.0857 (rok: 2014, tom: -, strony: 16 str), Wydawca: Cornell University Library
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Continuous structures of quantum circuits
- Autorzy:
- A.Ivanov
- Czasopismo:
- opublikowana w postaci preprintu arXiv:1406.4635 (rok: 2014, tom: -, strony: 15 str.), Wydawca: Cornell University Library
- Status:
- Opublikowana
- DOI:
- link do publikacji