Lietz, Andreas Forcing “\(NS_{\omega1}\) is \(\omega_1\)-dense” from large cardinals. A journey guided by the stars. (English) Zbl 1521.03003 Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). ix, 243 p. (2023). MSC: 03-02 03E35 03E55 PDFBibTeX XMLCite \textit{A. Lietz}, Forcing ``\(NS_{\omega1}\) is \(\omega_1\)-dense'' from large cardinals. A journey guided by the stars. Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.) (2023; Zbl 1521.03003)
Sinapova, Dima Infinite cardinals and combinatorial principles. (English) Zbl 1502.03014 Notices Am. Math. Soc. 69, No. 9, 1510-1517 (2022). MSC: 03E05 03E35 03E55 PDFBibTeX XMLCite \textit{D. Sinapova}, Notices Am. Math. Soc. 69, No. 9, 1510--1517 (2022; Zbl 1502.03014) Full Text: DOI
Castiblanco Quiroga, Jury Fabiana Preserving levels of projective determinacy by tree forcing notions and special sets of reals in models without choice. (English) Zbl 1440.03002 Münster: Univ. Münster, Institut für Mathematische Logik und Grundlagenforschung, Fachbereich Mathematik und Informatik (Diss.). x, 105 p. (2018). MSC: 03-02 03E35 03E40 03E45 03E60 03E25 PDFBibTeX XMLCite \textit{J. F. Castiblanco Quiroga}, Preserving levels of projective determinacy by tree forcing notions and special sets of reals in models without choice. Münster: Univ. Münster, Institut für Mathematische Logik und Grundlagenforschung, Fachbereich Mathematik und Informatik (Diss.) (2018; Zbl 1440.03002)
Lücke, Philipp Moritz Automorphism towers and definability in generalized Baire spaces. (English) Zbl 1401.03008 Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). xvii, 148 p. (2012). MSC: 03-02 03E15 03E35 03C55 03E55 20E36 20F28 PDFBibTeX XMLCite \textit{P. M. Lücke}, Automorphism towers and definability in generalized Baire spaces. Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.) (2012; Zbl 1401.03008)
Jech, Thomas What is …forcing? (English) Zbl 1194.03001 Notices Am. Math. Soc. 55, No. 6, 692-693 (2008). MSC: 03-01 03E35 PDFBibTeX XMLCite \textit{T. Jech}, Notices Am. Math. Soc. 55, No. 6, 692--693 (2008; Zbl 1194.03001)
Wu, Hongbo; Gong, Jiaan The derived operator and independence of its conditions. (Chinese. English summary) Zbl 1174.54308 Math. Pract. Theory 38, No. 4, 126-131 (2008). MSC: 54A35 PDFBibTeX XMLCite \textit{H. Wu} and \textit{J. Gong}, Math. Pract. Theory 38, No. 4, 126--131 (2008; Zbl 1174.54308)
Elekes, Márton; Mátrai, Tamás; Soukup, Lajos Partitioning \(\kappa\)-fold covers into \(\kappa\) many subcovers. (English) Zbl 1152.03325 Real Anal. Exch. 33, Suppl., 31st Summer Symp. Conf. Rep., 121-125 (2008). MSC: 03E05 03E15 03C25 03E04 03E35 03E40 03E50 03E65 05C15 06A05 52A20 52B11 PDFBibTeX XMLCite \textit{M. Elekes} et al., Real Anal. Exch. 33, 121--125 (2008; Zbl 1152.03325)
Sharma, Sushil; Tilwankar, Prashant Common fixed point theorem for multivalued mappings in intuitionistic fuzzy metric space. (English) Zbl 1155.54314 East Asian Math. J. 24, No. 3, 223-232 (2008). MSC: 54A40 54A35 54E40 54E45 54H25 PDFBibTeX XMLCite \textit{S. Sharma} and \textit{P. Tilwankar}, East Asian Math. J. 24, No. 3, 223--232 (2008; Zbl 1155.54314)
Steel, John R. What is \(\dots\) a Woodin cardinal? (English) Zbl 1153.03315 Notices Am. Math. Soc. 54, No. 9, 1146-1147 (2007). MSC: 03E55 03E35 03E45 PDFBibTeX XMLCite \textit{J. R. Steel}, Notices Am. Math. Soc. 54, No. 9, 1146--1147 (2007; Zbl 1153.03315) Full Text: Link
Gomes da Silva, Samuel On the presence of countable paracompactness, normality and property \((a)\) in spaces from almost disjoint families. (English) Zbl 1388.54018 Quest. Answers Gen. Topology 25, No. 1, 1-18 (2007). MSC: 54D15 54D20 54A35 54A25 PDFBibTeX XMLCite \textit{S. Gomes da Silva}, Quest. Answers Gen. Topology 25, No. 1, 1--18 (2007; Zbl 1388.54018)
Van den Bussche, Jan First-order topological properties. (English) Zbl 1169.03351 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 87, 155-164 (2005). MSC: 03B70 54A35 68P15 PDFBibTeX XMLCite \textit{J. Van den Bussche}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 87, 155--164 (2005; Zbl 1169.03351)
Andretta, Alessandro Absoluteness theorems in set theory. II. (Italian) Zbl 1194.03041 Boll. Unione Mat. Ital., Sez. A, Mat. Soc. Cult. (8) 6, No. 3, 489-507 (2003). MSC: 03E35 03E15 03E25 03E45 03E50 03E55 PDFBibTeX XMLCite \textit{A. Andretta}, Boll. Unione Mat. Ital., Sez. A, Mat. Soc. Cult. (8) 6, No. 3, 489--507 (2003; Zbl 1194.03041)
Andretta, Alessandro Absoluteness theorems in set theory. I. (Italian) Zbl 1194.03040 Boll. Unione Mat. Ital., Sez. A, Mat. Soc. Cult. (8) 6, No. 1, 57-84 (2003). MSC: 03E35 03E25 03E40 03E45 03E50 PDFBibTeX XMLCite \textit{A. Andretta}, Boll. Unione Mat. Ital., Sez. A, Mat. Soc. Cult. (8) 6, No. 1, 57--84 (2003; Zbl 1194.03040)
Aaronson, Scott Is P versus NP formally independent? (English) Zbl 1169.68425 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 81, 109-136 (2003). MSC: 68Q15 03A05 03E35 PDFBibTeX XMLCite \textit{S. Aaronson}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 81, 109--136 (2003; Zbl 1169.68425)
Yan, Weijun; Wang, Yangeng; Wei, Guo Some properties of the relative topology. (Chinese. English summary) Zbl 1132.54320 Pure Appl. Math. 19, No. 3, 223-226 (2003). MSC: 54D20 54A35 PDFBibTeX XMLCite \textit{W. Yan} et al., Pure Appl. Math. 19, No. 3, 223--226 (2003; Zbl 1132.54320)
Cookson, Tim The measure \(\times\) measure algebra and Cohen reals. (English) Zbl 1192.03031 Real Anal. Exch. Suppl., 26th Summer Symp. Conf. Rep., 179-182 (2002). MSC: 03E35 28A05 PDFBibTeX XMLCite \textit{T. Cookson}, Real Anal. Exch., 179--182 (2002; Zbl 1192.03031)
Miyamoto, Tadatoshi Iterated forcing with \(^\omega\omega\)-bounding and semiproper preorders. (English) Zbl 0985.03526 RIMS Kokyuroku 1202, 83-99 (2001). MSC: 03E35 03E50 PDFBibTeX XMLCite \textit{T. Miyamoto}, RIMS Kokyuroku 1202, 83--99 (2001; Zbl 0985.03526)
Hrušák, Michael; Steprāns, Juris Cardinal invariants related to sequential separability. (English) Zbl 0985.03520 RIMS Kokyuroku 1202, 66-74 (2001). MSC: 03E05 03E35 PDFBibTeX XMLCite \textit{M. Hrušák} and \textit{J. Steprāns}, RIMS Kokyuroku 1202, 66--74 (2001; Zbl 0985.03520)
Fuchino, Sakaé; Shelah, Saharon Models of real-valued measurability. (English) Zbl 0985.03527 RIMS Kokyuroku 1202, 38-60 (2001). MSC: 03E35 03E55 03E65 PDFBibTeX XMLCite \textit{S. Fuchino} and \textit{S. Shelah}, RIMS Kokyuroku 1202, 38--60 (2001; Zbl 0985.03527)
Matsubara, Yo What if \(\lambda\) is a strong limit singular cardinal. (English) Zbl 0985.03524 RIMS Kokyuroku 1202, 33-37 (2001). MSC: 03E05 03E35 03E55 PDFBibTeX XMLCite \textit{Y. Matsubara}, RIMS Kokyuroku 1202, 33--37 (2001; Zbl 0985.03524)
Miyamoto, Tadatoshi Forcing \(\text{NS}_{\omega_1}\) completely bounded via semiproper iterations. (English) Zbl 0968.03531 RIMS Kokyuroku 1143, 8-18 (2000). MSC: 03E35 03E40 PDFBibTeX XMLCite \textit{T. Miyamoto}, RIMS Kokyuroku 1143, 8--18 (2000; Zbl 0968.03531)
Kada, Masaru Block branching Miller forcing and covering numbers for prediction. (English) Zbl 0968.03530 RIMS Kokyuroku 1143, 19-32 (2000). MSC: 03E35 03E05 PDFBibTeX XMLCite \textit{M. Kada}, RIMS Kokyuroku 1143, 19--32 (2000; Zbl 0968.03530)
Kamo, Shizuo Some properties of Laver forcing. (English) Zbl 0968.03532 RIMS Kokyuroku 1143, 60-71 (2000). MSC: 03E35 03E05 PDFBibTeX XMLCite \textit{S. Kamo}, RIMS Kokyuroku 1143, 60--71 (2000; Zbl 0968.03532)
Li, Fa Chao; Ha, Ming Hu; Zhai, Jian Ren The separability of the \(p\)-mean difference symmetric metric. (Chinese. English summary) Zbl 1333.54018 Fuzzy Syst. Math. 13, No. 4, 46-52 (1999). MSC: 54A40 54A35 03E72 PDFBibTeX XMLCite \textit{F. C. Li} et al., Fuzzy Syst. Math. 13, No. 4, 46--52 (1999; Zbl 1333.54018)
Simson, Daniel On the continuum hypothesis and syzygies. (Polish) Zbl 1242.13018 Rocz. Pol. Tow. Mat., Ser. II, Wiadom. Mat. 34, 1-8 (1998). MSC: 13D02 01A60 03E35 03E50 13L05 PDFBibTeX XMLCite \textit{D. Simson}, Rocz. Pol. Tow. Mat., Ser. II, Wiad. Mat. 34, 1--8 (1998; Zbl 1242.13018)
Kholshchevnikova, N. N. Small cardinals in the theory of functions. (English) Zbl 1054.43500 East J. Approx. 1, No. 4, 521-526 (1995). MSC: 43A46 03E50 03E15 03E35 PDFBibTeX XMLCite \textit{N. N. Kholshchevnikova}, East J. Approx. 1, No. 4, 521--526 (1995; Zbl 1054.43500)
Wang, Hao Popular lectures on mathematical logic. Rev. repr. of the 1981 2nd ed. (English) Zbl 0847.03001 New York, NY: Dover Publications. vi, 281 p. (1993). MSC: 03-01 68-01 03B10 03Dxx 68Q15 68Q05 03B35 03E50 03E35 PDFBibTeX XMLCite \textit{H. Wang}, Popular lectures on mathematical logic. Rev. repr. of the 1981 2nd ed. New York, NY: Dover Publications (1993; Zbl 0847.03001)
Eda, Katsuya Applications of set theory to abelian groups. (English. Japanese original) Zbl 0797.20041 Sugaku Expo. 6, No. 2, 221-236 (1993); translation from Sugaku 43, No. 2, 128-138 (1991). MSC: 20K20 03E35 03E05 20A15 PDFBibTeX XMLCite \textit{K. Eda}, Sugaku Expo. 6, No. 2, 221--236 (1991; Zbl 0797.20041); translation from Sugaku 43, No. 2, 128--138 (1991)
Zhang, Jinwen; Wang, Ju A note on forcing method. (Chinese. English summary) Zbl 0707.03044 J. Qufu Norm. Univ., Nat. Sci. 16, No. 2, 7-10 (1990). MSC: 03E35 03E50 PDFBibTeX XMLCite \textit{J. Zhang} and \textit{J. Wang}, J. Qufu Norm. Univ., Nat. Sci. 16, No. 2, 7--10 (1990; Zbl 0707.03044)
Bandlow, Ingo Anwendungen elementarer Unterstrukturen in der mengentheoretischen Topologie. (Applications of elementar substructures in set-theoretic topology). (German) Zbl 0726.54002 Greifswald: Ernst-Moritz-Arndt-Univ. Greifswald, Diss. 137 S. (1989). MSC: 54A35 54A25 03E35 54B35 54D35 PDFBibTeX XMLCite \textit{I. Bandlow}, Anwendungen elementarer Unterstrukturen in der mengentheoretischen Topologie. (Applications of elementar substructures in set-theoretic topology). Greifswald: Ernst-Moritz-Arndt-Univ. Greifswald (1989; Zbl 0726.54002)
Kim, Sang Mun Modifications of \(\mathrm{ZF}\) equiconsistent with \(\mathrm{ZF}^{\mathrm{KM}}\). (English) Zbl 1273.03150 Commun. Korean Math. Soc. 3, No. 2, 143-146 (1988). MSC: 03E70 03E35 03E65 PDFBibTeX XMLCite \textit{S. M. Kim}, Commun. Korean Math. Soc. 3, No. 2, 143--146 (1988; Zbl 1273.03150)
Csörgö, István A simple proof of the independence of the axiom of substitution. (Hungarian) Zbl 0599.03056 Mat. Lapok 32, 145-151 (1984). MSC: 03E35 PDFBibTeX XMLCite \textit{I. Csörgö}, Mat. Lapok 32, 145--151 (1984; Zbl 0599.03056)
Bezboruah, A. A consistency statement for Robinson’s Q which is not provable in Q. (English) Zbl 0283.02040 Proc. Am. Math. Soc. (to appear). MSC: 03H99 03B99 03E35 03C35 PDFBibTeX XML
Felgner, Ulrich Abzählbarkeit und Wohlordenbarkeit. (German) Zbl 0283.02046 Comment. Math. Helv. 49, 114-124 (1974). MSC: 03E35 03E25 PDFBibTeX XMLCite \textit{U. Felgner}, Comment. Math. Helv. 49, 114--124 (1974; Zbl 0283.02046) Full Text: DOI EuDML
Pincus, D. Support structures for the axiom of choice. (English) Zbl 0216.29601 J. Symb. Log. 36, 28-38 (1971). MSC: 03E35 03C25 03C62 03E25 PDFBibTeX XMLCite \textit{D. Pincus}, J. Symb. Log. 36, 28--38 (1971; Zbl 0216.29601) Full Text: DOI