Preservation of admissibility of inference rules in the logics similar to S4. 2.
Rybakov, V.V., Rimatskij, V.V. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Rybakov, V.V., Rimatskij, V.V. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Shrejner, P.A. (2000)
Siberian Mathematical Journal
Similarity:
Tishkovskij, D.E. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Rimatskiĭ, V.V. (2009)
Sibirskij Matematicheskij Zhurnal
Similarity:
Kiyatkin, V.R. (2000)
Siberian Mathematical Journal
Similarity:
Solon, B.Ya. (2000)
Siberian Mathematical Journal
Similarity:
Miroslav Repický (1994)
Fundamenta Mathematicae
Similarity:
[1] T. Bartoszyński, Additivity of measure implies additivity of category, Trans. Amer. Math. Soc. 281 (1984), 209-213. [2] T. Bartoszyński and H. Judah, Measure and Category, in preparation. [3] D. H. Fremlin, Cichoń’s diagram, Publ. Math. Univ. Pierre Marie Curie 66, Sém. Initiation Anal., 1983/84, Exp. 5, 13 pp. [4] M. Goldstern, Tools for your forcing construction, in: Set Theory of the Reals, Conference of Bar-Ilan University, H. Judah (ed.), Israel Math. Conf. Proc. 6, 1992, 307-362....
Gary Gruenhage, J. Moore (2000)
Fundamenta Mathematicae
Similarity:
A space X is called an α-Toronto space if X is scattered of Cantor-Bendixson rank α and is homeomorphic to each of its subspaces of the same rank. We answer a question of Steprāns by constructing a countable α-Toronto space for each α ≤ ω. We also construct consistent examples of countable α-Toronto spaces for each .
T. Brox (2000)
Acta Arithmetica
Similarity:
Sy Friedman (1997)
Fundamenta Mathematicae
Similarity:
We present a reformulation of the fine structure theory from Jensen [72] based on his Σ* theory for K and introduce the Fine Structure Principle, which captures its essential content. We use this theory to prove the Square and Fine Scale Principles, and to construct Morasses.