Search Results - "Annals of mathematical logic"
-
1
-
2
A. Dodd and R. Jensen. The core model. Annals of mathematical logic, vol. 20 (1981), pp. 43–75. - Tony Dodd and Ronald Jensen. The covering lemma for K. Annals of mathematical logic, vol. 22 (1982), pp. 1–30. - A. J. Dodd and R. B. Jensen. The covering lemma for L[U]. Annals of mathematical logic, pp. 127–135. - D. Donder, R. B. Jensen and B. J. Koppelberg. Some applications of the core model. Set theory and model theory, Proceedings of an informal symposium held at Bonn, June 1–3, 1979, edited
Published in The Journal of symbolic logicGet full text
Article -
3
Robert M. Solovay, William N. Reinhardt, and Akihiro Kanamori. Strong axioms of infinity and elementary embeddings. Annals of mathematical logic, vol. 13 (1978), pp. 73–116. - Menachem Magidor. HOW large is the first strongly compact cardinal? or A study on identity crises. Annals of mathematical logic, vol. 10 (1976), pp. 33–57
Published in The Journal of symbolic logicGet full text
Article -
4
G. Metakides and A. Nerode. Recursively enumerable vector spaces. Annals of mathematical logic, vol. 11 (1977), pp. 147–171. - G. Metakides and A. Nerode. Effective content of field theory. Annals of mathematical logic, vol. 17 (1979), pp. 289–320. - G. Metakides and A. Nerode. Recursion theory on fields and abstract dependence. Journal of algebra, vol. 65 (1980), pp. 36–59
Published in The Journal of symbolic logicGet full text
Article -
5
-
6
-
7
-
8
-
9
-
10
-
11
Daniel J. Velleman, Morasses, diamond, and forcing, Annals of mathematical logic, vol. 23 (1982), pp. 199–281. - Dan Velleman. On a generalization of Jensen's □ κ , and strategic closure of partial orders, The journal of symbolic logic, vol. 48, no. 4 (for 1983, pub. 1984), pp. 1046–1052
Published in The Journal of symbolic logicGet full text
Article -
12
-
13
-
14
-
15
-
16
Kenneth McAloon. On the sequence of models HOD n . Fundamenta mathematicae, vol. 82 (1974), pp. 85–93. - Thomas J. Jech. Forcing with trees and ordinal definability. Annals of mathematical logic, vol. 7 no. 4 (1975), pp. 387–409. - Włodzimierz Zadrożny. Iterating ordinal definability. Annals of pure and applied logic, vol. 24 (1983), pp. 263–310
Published in The Journal of symbolic logicGet full text
Article -
17
-
18
-
19
-
20