Search results
- 1.0585180 - MÚ 2025 RIV GB eng J - Journal Article
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
Institutional support: RVO:67985840
Keywords : analytic p-ideal * I-ultrafilter * rapid ultrafilter
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Open access
https://doi.org/10.1017/jsl.2022.81
Permanent Link: https://hdl.handle.net/11104/0352925File Download Size Commentary Version Access Cancino_Manriquez.pdf 0 255.1 KB Publisher’s postprint open-access - 2.0575500 - ÚI 2025 GB eng J - Journal Article
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
R&D Projects: GA MŠMT(CZ) EF18_053/0017594
Institutional support: RVO:67985807
Keywords : Keisler isomorphism theorem * positive model theory * prime product * positively existentially closed model * h-inductive theory
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1017/jsl.2023.50
Permanent Link: https://hdl.handle.net/11104/0345261 - 3.0575310 - MÚ 2024 RIV GB eng J - Journal Article
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
Institutional support: RVO:67985840
Keywords : stationarily layered posets * strongly unbounded coloring * subadditive coloring
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Open access
https://doi.org/10.1017/jsl.2022.50
Permanent Link: https://hdl.handle.net/11104/0345094File Download Size Commentary Version Access Lambie-Hanson4.pdf 0 523.8 KB Publisher’s postprint open-access - 4.0561027 - MÚ 2023 RIV US eng J - Journal Article
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
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : disjoint NE-sets * finite consistency * oracles * propositional proof systems
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
https://doi.org/10.1017/jsl.2021.99
Permanent Link: https://hdl.handle.net/11104/0333783File Download Size Commentary Version Access Khaniki3.pdf 2 386.5 KB Publisher’s postprint require - 5.0558344 - ÚI 2024 RIV US eng J - Journal Article
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
Institutional support: RVO:67985807
Keywords : small index property * automorphism groups * Fraïssé limits * Heyting algebras * Polish groups
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
https://doi.org/10.1017/jsl.2022.43
Permanent Link: http://hdl.handle.net/11104/0332069 - 6.0551636 - MÚ 2022 RIV US eng J - Journal Article
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
Institutional support: RVO:67985840
Keywords : eflection principles * ordinal analysis * second-order arithmetic * first-order arithmetic
OECD category: Pure mathematics
Impact factor: 0.634, year: 2021
Method of publishing: Limited access
https://doi.org/10.1017/jsl.2020.9
Permanent Link: http://hdl.handle.net/11104/0326878File Download Size Commentary Version Access Pakhomov.pdf 4 407 KB Publisher’s postprint require - 7.0546450 - ÚI 2022 US eng J - Journal Article
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
Keywords : provability logic * topological semantics * scattered space
Impact factor: 0.793, year: 2017
Permanent Link: http://hdl.handle.net/11104/0322954 - 8.0546449 - ÚI 2022 US eng J - Journal Article
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
Keywords : provability algebras * principles * induction * second-order arithmetic * reflection principles * provability logic
Impact factor: 0.793, year: 2017
Permanent Link: http://hdl.handle.net/11104/0322953 - 9.0544057 - MÚ 2022 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GX20-31529X
Institutional support: RVO:67985840
Keywords : wide Aronszajn tree * Martin axiom * universality
OECD category: Pure mathematics
Impact factor: 0.634, year: 2021
Method of publishing: Limited access
https://doi.org/10.1017/jsl.2020.42
Permanent Link: http://hdl.handle.net/11104/0321114File Download Size Commentary Version Access Dzamonja.pdf 2 372.8 KB Publisher’s postprint require - 10.0538864 - MÚ 2021 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA17-27844S
Institutional support: RVO:67985840
Keywords : universal automorphism group * Fraïssé limit * Fraïssé class * diversification
OECD category: Pure mathematics
Impact factor: 0.512, year: 2020
Method of publishing: Limited access
https://doi.org/10.1017/jsl.2020.10
Permanent Link: http://hdl.handle.net/11104/0316590File Download Size Commentary Version Access Kubis1.pdf 1 129.6 KB Publisher’s postprint require