Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Non-generators in extensions of infinitary algebrasLIPPARINI, PaoloReports on mathematical logic, 2022-01, Vol.57 (57), p.31-43 [Periódico revisado por pares]Kraków: Wydawnictwo Uniwersytetu JagiellońskiegoTexto completo disponível |
|
2 |
Material Type: Artigo
|
A Maximality Theorem for Continuous First Order TheoriesACKERMAN, Nathanael ; KARKER, Mary LeahReports on mathematical logic, 2022-01, Vol.57 (57), p.61-93 [Periódico revisado por pares]Kraków: Wydawnictwo Uniwersytetu JagiellońskiegoTexto completo disponível |
|
3 |
Material Type: Artigo
|
A Model Theory for the Potential InfiniteEberl, MatthiasReports on mathematical logic, 2022-01, Vol.57 (57), p.3-30 [Periódico revisado por pares]Kraków: Wydawnictwo Uniwersytetu JagiellońskiegoTexto completo disponível |
|
4 |
Material Type: Artigo
|
Notes on the decidability of addition and the Frobenius map for polynomials and rational functionsChompitaki, Dimitra ; Kamarianakis, Manos ; Pheidas, ThanasesReports on mathematical logic, 2022-01, Vol.57 (57), p.53-60 [Periódico revisado por pares]Kraków: Wydawnictwo Uniwersytetu JagiellońskiegoTexto completo disponível |
|
5 |
Material Type: Artigo
|
Invariant Universality for Projective PlanesPaolini, GianlucaReports on mathematical logic, 2023-01, Vol.58 (58), p.15-27 [Periódico revisado por pares]Kraków: Jagiellonian University-Jagiellonian University PressTexto completo disponível |
|
6 |
Material Type: Artigo
|
A formal approach to Menger's theoremBonacina, Roberta ; Misselbeck-Wessel, DanielReports on mathematical logic, 2022-01, Vol.57 (57), p.45-51 [Periódico revisado por pares]Kraków: Wydawnictwo Uniwersytetu JagiellońskiegoTexto completo disponível |
|
7 |
Material Type: Artigo
|
Tableaux approach for contact logics interpreted over intervalsÖzdemir, ZaferReports on mathematical logic, 2023, Vol.58 (58), p.3-13 [Periódico revisado por pares]Kraków: Jagiellonian University-Jagiellonian University PressTexto completo disponível |
|
8 |
Material Type: Artigo
|
Editorial and Title PagesReports on mathematical logic, 2023-01 (58) [Periódico revisado por pares]Kraków: Jagiellonian University-Jagiellonian University PressTexto completo disponível |
|
9 |
Material Type: Artigo
|
Some cardinal characteristics related to the covering number and the uniformity of the meagre idealSonpanow, Nattapon ; Vejjajiva, PimpenReports on mathematical logic, 2021, Vol.56 (56), p.3-14 [Periódico revisado por pares]Kraków: Wydawnictwo Uniwersytetu JagiellońskiegoTexto completo disponível |
|
10 |
Material Type: Artigo
|
Tableau-based translation from first-order logic to modal logicPerkov, Tin ; Mikec, LukaReports on mathematical logic, 2021, Vol.56 (56), p.57-74 [Periódico revisado por pares]Kraków: Wydawnictwo Uniwersytetu JagiellońskiegoTexto completo disponível |