Forcing with ideals generated by closed sets. (English) Zbl 1069.03037
Reviewer: Miroslav Zelený (Praha)
Found 19 Documents (Results 1–19)
The nonstandard hull of a normed space in a Boolean valued universe. (English) Zbl 1052.46064
Reviewer: S. S. Kutateladze (Novosibirsk)
Some results in dynamic model theory. (English) Zbl 1073.68581
Boiten, Eerke A. (ed.) et al., Mathematics of program construction. 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8–10, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43857-2). Lect. Notes Comput. Sci. 2386, 21 (2002).
A note on forcing with ideals and Hechler forcing. (English) Zbl 1052.03032
Reviewer: Martin Weese (Potsdam)
On iterating semiproper preorders. (English) Zbl 1050.03034
Reviewer: Alan Dow (Charlotte)
MSC:
03E40
Small theories of Boolean ordered o-minimal structures. (English) Zbl 1043.03032
Reviewer: Todor D. Todorov (San Luis Obispo)
A uniqueness theorem for iterations. (English) Zbl 1042.03036
Reviewer: J. M. Plotkin (East Lansing)
Metric Boolean algebras and constructive measure theory. (English) Zbl 1064.03039
Reviewer: Bas Spitters (Nijmegen)
Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics. (English) Zbl 1036.03001
Reviewer: Peter T. Johnstone (Cambridge)
Generic absoluteness and the continuum. (English) Zbl 1028.03040
Reviewer: K.P.Hart (Delft)
Reflection principles for the continuum. (English) Zbl 1013.03059
Zhang, Yi (ed.), Logic and algebra. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 302, 59-84 (2002).
Mad families and iteration theory. (English) Zbl 1038.03049
Zhang, Yi (ed.), Logic and algebra. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-2984-X/pbk). Contemp. Math. 302, 1-31 (2002).
Reviewer: Judith Roitman (Lawrence)
The basis problem for ccc posets. (English) Zbl 1010.03041
Thomas, Simon (ed.), Set theory. The Hajnal conference. Proceedings from the Mid-Atlantic Mathematical Logic Seminar (MAMLS) conference held in honor of András Hajnal at the DIMACS Center, Rutgers University, Piscataway, NJ, USA, October 15-17, 1999. Providence, RI: American Mathematical Society (AMS). DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 58, 149-160 (2002).
Localized reflection and fragments of PFA. (English) Zbl 1017.03028
Thomas, Simon (ed.), Set theory. The Hajnal conference. Proceedings from the Mid-Atlantic Mathematical Logic Seminar (MAMLS) conference held in honor of András Hajnal at the DIMACS Center, Rutgers University, Piscataway, NJ, USA, October 15-17, 1999. Providence, RI: American Mathematical Society (AMS). DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 58, 135-148 (2002).
Reviewer: Miroslav Repický (Košice)
Filter Results by …
Document Type
- Journal Articles (13)
- Collection Articles (5)
- Books (1)
all
top 5
Author
- Todorcevic, Stevo B. (2)
- Asperó, David (1)
- Birkedal, Lars (1)
- Brendle, Jörg (1)
- Coquand, Thierry (1)
- Eisworth, Todd (1)
- Ghilardi, Silvio (1)
- Gutman, Aleksandr Efimovich (1)
- Ishiu, Tetsuya (1)
- Kamburelis, Anastasis (1)
- Kikuchi, Kentaro (1)
- Kozen, Dexter C. (1)
- Larson, Paul B. (1)
- Miyamoto, Tadatoshi (1)
- Palmgren, Erik (1)
- Ryabko, D. B. (1)
- Stavi, Jonathan (1)
- Väänänen, Jouko Antero (1)
- Velickovic, Boban (1)
- Wencel, Roman (1)
- Yoshinobu, Yasuo (1)
- Zapletal, Jindřich (1)
- Zawadowski, Marek (1)
