Publication date: 06.09.2018
Licence:
CC BY-NC-ND
Editorial team
Editors Paweł M. Idziak, Andrzej Wroński
Reports on Mathematical Logic, Number 53, 2018, pp. 3 - 17
https://doi.org/10.4467/20842589RM.18.001.8834Reports on Mathematical Logic, Number 53, 2018, pp. 19 - 42
https://doi.org/10.4467/20842589RM.18.002.8835Reports on Mathematical Logic, Number 53, 2018, pp. 43 - 65
https://doi.org/10.4467/20842589RM.18.003.8836Reports on Mathematical Logic, Number 53, 2018, pp. 67 - 77
https://doi.org/10.4467/20842589RM.18.004.8837Reports on Mathematical Logic, Number 53, 2018, pp. 79 - 96
https://doi.org/10.4467/20842589RM.18.005.8838Reports on Mathematical Logic, Number 53, 2018, pp. 97 - 109
https://doi.org/10.4467/20842589RM.18.006.8839Reports on Mathematical Logic, Number 53, 2018, pp. 111 - 142
https://doi.org/10.4467/20842589RM.18.007.8840Słowa kluczowe: weak truth-table reducibility, introimmune sets, combinatory logic, lambda calculus, complexity analysis, functional programming, Sequent calculus, Kripke completeness, finite model property, cutelimination, subformula property, PCF space, Sequentiality, Fréchet-Urysohn property, Extension theorems; Kuratowski-Zornlemma; transfinite methods, Provability logic, predicate logic, cut-free system, Prikry forcing