Annals of mathematical logic

Volltext

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 von Mitchell, William

Volltext

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 von Prisco, Carlos Augusto Di

Volltext

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 von Hamilton, A. G.

Volltext

Dag Normann. Degrees of functionals. Annals of mathematical logic, vol. 16 (1979), pp. 269–304 von Griffor, E. R.

Volltext

William H. Wheeler. Model-complete theories of pseudo-algebraically closed fields. Annals of mathematical logic, vol. 17 (1979), pp. 205–226 von Prestel, Alexander

Volltext

K. Jon Barwise. Absolute logics and . Annals of mathematical logic, vol. 4 no. 3 (1972), pp. 309–340 von Väänänen, Jouko

Volltext

Stevo B. Todorčević, Trees, subtrees and order types, Annals of mathematical logic, vol. 20 (1981), pp. 233–268. - Stevo Todorcevic, Aronszajn trees and partitions, Israel journal of mathematics, vol. 52 (1985), pp. 53–58 von Velleman, Dan

Volltext

Saharon Shelah. Finite diagrams stable in power. Annals of mathematical logic, vol. 2 no. 1 (1970), pp. 69–118 von Cherlin, Gregory

Volltext

Master Index To Volumes 11-3011Volumes 11-23 were published under the former name of “Annals of Mathematical Logic”

Volltext

J. A. Makowsky, Saharon Shelah, and Jonathan Stavi. ⊿-logics and generalized quantifiers. Annals of mathematical logic, vol. 10 (1976), pp. 155–192 von Väänänen, Jouko

Volltext

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 von Stanley, Lee

Volltext

Annals of Mathematical Logic: Announcement of a New Periodical

Volltext

Announcement of a new periodical: "Annals of mathematical logic"

Volltext

J.-P. Ressayre. Boolean models and infinitary first order languages. Annals of mathematical logic, vol. 6 no. 1 (1973), pp. 41–92 von Knight, Julia F.

Volltext

J. P. Ressayre. Models with compactness properties relative to an admissible language. Annals of mathematical logic, vol. 11 no. 1 (1977), pp. 31–55 von Knight, Julia F.

Volltext

Fred Galvin. Horn sentences. Annals of mathematical logic, vol. 1 no. 4 (1970), pp. 389–422 von Taylor, Walter

Volltext

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 von David, René

Volltext

Jon Barwise, Matt Kaufmann, and Michael Makkai. Stationary logic. Annals of mathematical logic, vol. 13 no. 2 (1978), pp. 171–224 von Eklof, Paul C.

Volltext

Wolfgang Maass. Inadmissibility, tame r.e. sets and the admissible collapse. Annals of mathematical logic, vol. 13 no. 2 (1978), pp. 149–170 von Homer, Steven

Volltext