13629 results in The Journal of Symbolic Logic
A model in which the base-matrix tree cannot have cofinal branches
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 651-664
- Print publication:
- September 1987
-
- Article
- Export citation
Injectives in finitely generated universal Horn classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 786-792
- Print publication:
- September 1987
-
- Article
- Export citation
On the existence of extensional partial combinatory algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 819-833
- Print publication:
- September 1987
-
- Article
- Export citation
A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagrams
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 577-581
- Print publication:
- September 1987
-
- Article
- Export citation
Open induction and the true theory of rationals
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 793-801
- Print publication:
- September 1987
-
- Article
- Export citation
Open days in set theory and arithmetic, Jachranka, Poland, 1986
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 888-894
- Print publication:
- September 1987
-
- Article
- Export citation
Monotone but not positive subsets of the Cantor space
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 817-818
- Print publication:
- September 1987
-
- Article
- Export citation
Herman Rubin and Jean E. Rubin. Equivalents of the axiom of choice, II. Studies in logic and the foundations of mathematics, vol. 116. North-Holland, Amsterdam, New York, and Oxford, 1985, xxviii + 322 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 867-869
- Print publication:
- September 1987
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 895-896
- Print publication:
- September 1987
-
- Article
- Export citation
An analytic completeness theorem for logics with probability quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 802-816
- Print publication:
- September 1987
-
- Article
- Export citation
Modal sequents and definability
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 756-762
- Print publication:
- September 1987
-
- Article
- Export citation
On Π 1-automorphisms of recursive linear orders
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 681-688
- Print publication:
- September 1987
-
- Article
- Export citation
Monadic binary relations and the monad systems at near-standard points
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 689-697
- Print publication:
- September 1987
-
- Article
- Export citation
First order topological structures and theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 763-778
- Print publication:
- September 1987
-
- Article
- Export citation
Natural deduction and sequent calculus for intuitionistic relevant logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 665-680
- Print publication:
- September 1987
-
- Article
- Export citation
Proper classes via the iterative conception of set1
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 636-650
- Print publication:
- September 1987
-
- Article
- Export citation
M. J. Cresswell Structured meanings: the semantics of propositional attitudes. Bradford Books. The MIT Press, Cambridge, Mass., and London, 1985, x + 202 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 878-882
- Print publication:
- September 1987
-
- Article
- Export citation
JSL volume 52 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- September 1987
-
- Article
-
- You have access
- Export citation
Generalized quantifiers in natural language, edited by Johan van Benthem and Alice ter Meulen, Groningen-Amsterdam studies in semantics, no. 4, Foris Publications, Dordrecht and Cinnaminson, N.J., 1985, vii + 169 pp.—Therein:
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 02 September 2019, pp. 876-878
- Print publication:
- September 1987
-
- Article
- Export citation
JSL volume 52 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1987
-
- Article
-
- You have access
- Export citation