Výsledky vyhledávání
- 1.0585180 - MÚ 2025 RIV GB eng J - Článek v odborném periodiku
Cancino Manríquez, Jonathan
I-ultrafilters in the rational perfect set model.
Journal of Symbolic Logic. Roč. 89, č. 1 (2024), s. 175-194. ISSN 0022-4812. E-ISSN 1943-5886
Institucionální podpora: RVO:67985840
Klíčová slova: analytic p-ideal * I-ultrafilter * rapid ultrafilter
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Open access
https://doi.org/10.1017/jsl.2022.81
Trvalý link: https://hdl.handle.net/11104/0352925Název souboru Staženo Velikost Komentář Verze Přístup Cancino_Manriquez.pdf 0 255.1 KB Vydavatelský postprint povolen - 2.0575500 - ÚI 2025 GB eng J - Článek v odborném periodiku
Moraschini, T. - Wannenburg, Johann Joubert - Yamamoto, Kentarô
Elementary Equivalence in Positive Logic via Prime Products.
Journal of Symbolic Logic. Online 05 July 2023 (2024). ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA MŠMT(CZ) EF18_053/0017594
Institucionální podpora: RVO:67985807
Klíčová slova: Keisler isomorphism theorem * positive model theory * prime product * positively existentially closed model * h-inductive theory
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1017/jsl.2023.50
Trvalý link: https://hdl.handle.net/11104/0345261 - 3.0575310 - MÚ 2024 RIV GB eng J - Článek v odborném periodiku
Lambie-Hanson, Christopher - Rinot, A.
Knaster and friends III: Subadditive colorings.
Journal of Symbolic Logic. Roč. 88, č. 3 (2023), s. 1230-1280. ISSN 0022-4812. E-ISSN 1943-5886
Institucionální podpora: RVO:67985840
Klíčová slova: stationarily layered posets * strongly unbounded coloring * subadditive coloring
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Open access
https://doi.org/10.1017/jsl.2022.50
Trvalý link: https://hdl.handle.net/11104/0345094Název souboru Staženo Velikost Komentář Verze Přístup Lambie-Hanson4.pdf 0 523.8 KB Vydavatelský postprint povolen - 4.0561027 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
Khaniki, Erfan
New relations and separations of conjectures about incompleteness in the finite domain.
Journal of Symbolic Logic. Roč. 87, č. 3 (2022), s. 912-937. ISSN 0022-4812. E-ISSN 1943-5886
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: disjoint NE-sets * finite consistency * oracles * propositional proof systems
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1017/jsl.2021.99
Trvalý link: https://hdl.handle.net/11104/0333783Název souboru Staženo Velikost Komentář Verze Přístup Khaniki3.pdf 2 386.5 KB Vydavatelský postprint vyžádat - 5.0558344 - ÚI 2024 RIV US eng J - Článek v odborném periodiku
Yamamoto, Kentarô
The Automorphism Group of The Fraïssé Limit of Finite Heyting Algebras.
Journal of Symbolic Logic. Roč. 88, č. 3 (2023), s. 1310-1320. ISSN 0022-4812. E-ISSN 1943-5886
Institucionální podpora: RVO:67985807
Klíčová slova: small index property * automorphism groups * Fraïssé limits * Heyting algebras * Polish groups
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1017/jsl.2022.43
Trvalý link: http://hdl.handle.net/11104/0332069 - 6.0551636 - MÚ 2022 RIV US eng J - Článek v odborném periodiku
Pakhomov, Fedor - Walsh, J.
Reflection ranks and ordinal analysis.
Journal of Symbolic Logic. Roč. 86, č. 4 (2021), s. 1350-1384. ISSN 0022-4812. E-ISSN 1943-5886
Institucionální podpora: RVO:67985840
Klíčová slova: eflection principles * ordinal analysis * second-order arithmetic * first-order arithmetic
Obor OECD: Pure mathematics
Impakt faktor: 0.634, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1017/jsl.2020.9
Trvalý link: http://hdl.handle.net/11104/0326878Název souboru Staženo Velikost Komentář Verze Přístup Pakhomov.pdf 4 407 KB Vydavatelský postprint vyžádat - 7.0546450 - ÚI 2022 US eng J - Článek v odborném periodiku
Aguilera, J.P. - Fernández-Duque, David
Strong completeness of provability logic for ordinal space.
Journal of Symbolic Logic. Roč. 82, č. 2 (2017), s. 608-628. ISSN 0022-4812. E-ISSN 1943-5886
Klíčová slova: provability logic * topological semantics * scattered space
Impakt faktor: 0.793, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0322954 - 8.0546449 - ÚI 2022 US eng J - Článek v odborném periodiku
Cordon-Franco, A. - Fernández-Duque, David - Joosten, J.J. - Lara-Martin, F.F.
Predicativity through transfinite reflection.
Journal of Symbolic Logic. Roč. 82, č. 3 (2017), s. 787-808. ISSN 0022-4812. E-ISSN 1943-5886
Klíčová slova: provability algebras * principles * induction * second-order arithmetic * reflection principles * provability logic
Impakt faktor: 0.793, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0322953 - 9.0544057 - MÚ 2022 RIV US eng J - Článek v odborném periodiku
Džamonja, Mirna - Shelah, S.
On wide Aronszajn trees in the presence of MA.
Journal of Symbolic Logic. Roč. 86, č. 1 (2021), s. 210-223. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA ČR(CZ) GX20-31529X
Institucionální podpora: RVO:67985840
Klíčová slova: wide Aronszajn tree * Martin axiom * universality
Obor OECD: Pure mathematics
Impakt faktor: 0.634, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1017/jsl.2020.42
Trvalý link: http://hdl.handle.net/11104/0321114Název souboru Staženo Velikost Komentář Verze Přístup Dzamonja.pdf 2 372.8 KB Vydavatelský postprint vyžádat - 10.0538864 - MÚ 2021 RIV US eng J - Článek v odborném periodiku
Kubiś, Wieslaw - Shelah, S.
Homogeneous structures with nonuniversal automorphism groups.
Journal of Symbolic Logic. Roč. 85, č. 2 (2020), s. 817-827. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA ČR(CZ) GA17-27844S
Institucionální podpora: RVO:67985840
Klíčová slova: universal automorphism group * Fraïssé limit * Fraïssé class * diversification
Obor OECD: Pure mathematics
Impakt faktor: 0.512, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1017/jsl.2020.10
Trvalý link: http://hdl.handle.net/11104/0316590Název souboru Staženo Velikost Komentář Verze Přístup Kubis1.pdf 1 129.6 KB Vydavatelský postprint vyžádat