13629 results in The Journal of Symbolic Logic
Johan van Benthem. Modal logic and classical logic. Indices, no. 3. Bibliopolis, Naples 1985 (©1983), also distributed by Humanities Press, Atlantic Highlands, N.J., 234 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 557-558
- Print publication:
- June 1987
-
- Article
- Export citation
Martin's axiom and a regular topological space with uncountable net weight whose countable product is hereditarily separable and hereditarily Lindelöf
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 396-399
- Print publication:
- June 1987
-
- Article
- Export citation
A contractionless semilattice semantics
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 526-529
- Print publication:
- June 1987
-
- Article
- Export citation
Pas d'imaginaires dans l'infini!
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 400-403
- Print publication:
- June 1987
-
- Article
- Export citation
A theory of properties
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 455-472
- Print publication:
- June 1987
-
- Article
- Export citation
A hierarchy of filters on regular uncountable cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 388-395
- Print publication:
- June 1987
-
- Article
- Export citation
G. E. Mints. E theorems. Journal of Soviet mathematics, vol. 8 (1977), pp. 323–329. (English translation of O E-téorémah, Isslédovania po konstruktivnoj matématiké i matématičéskoj logiké, VI, edited by Ú. V. Matiásévič and A. O. Slisénko, Zapiski naučnyh séminarov, vol. 40, Matématičéskij Institut im. V. A. Stéklova, Léningradskoé Otdélénié, Leningrad 1974, pp. 110–118.) - G. É. Minc. Ustojčivost' E-téorém i provérka programm (Stability of E-theorems and program verification). Sémiotika i informatika, vol. 12 (1979), pp. 73–77. - Justus Diller. Functional interpretations of Heyting's arithmetic in all finite types. Nieuw archief voor wiskunde, ser. 3 vol. 27 (1979), pp. 70–97. - Martin Stein. Interpretations of Heyting's arithmetic—an analysis by means of a language with set symbols. Annals of mathematical logic, vol. 19 (1980), pp. 1–31. - Martin Stein. A general theorem on existence theorems. Zeitschrifi für mathematische Logik und Grundlagen der Mathematik, vol. 27 (1981), pp. 435–452.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, p. 561
- Print publication:
- June 1987
-
- Article
- Export citation
Complete Boolean ultraproducts
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 530-542
- Print publication:
- June 1987
-
- Article
- Export citation
Isolated types in a weakly minimal set
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 543-547
- Print publication:
- June 1987
-
- Article
- Export citation
JSL volume 52 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- June 1987
-
- Article
-
- You have access
- Export citation
Kenneth McAloon. On the sequence of models HODn. 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 570-571
- Print publication:
- June 1987
-
- Article
- Export citation
H. E. Rose. Subrecursion. Functions and hierarchies. Oxford logic guides, no. 9. Clarendon Press, Oxford University Press, Oxford and New York1984, xiii + 191 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 563-565
- Print publication:
- June 1987
-
- Article
- Export citation
Relative lawlessness in intuitionistic analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-88
- Print publication:
- March 1987
-
- Article
- Export citation
The reals in core models
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 64-67
- Print publication:
- March 1987
-
- Article
- Export citation
JSL volume 52 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- March 1987
-
- Article
-
- You have access
- Export citation
The degree of the set of sentences of predicate provability logic that are true under every interpretation1
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-171
- Print publication:
- March 1987
-
- Article
- Export citation
Ferenc Gécseg and Magnus Steinby. Tree automata. Akadémiai Kiadó, Budapest 1984, also distributed by Heyden & Son, Philadelphia, 235 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-288
- Print publication:
- March 1987
-
- Article
- Export citation
No Jónsson filters over ℵω
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-53
- Print publication:
- March 1987
-
- Article
- Export citation
On Dedekind complete o-minimal structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 156-164
- Print publication:
- March 1987
-
- Article
- Export citation
Some new natural α-re-degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-231
- Print publication:
- March 1987
-
- Article
- Export citation