13629 results in The Journal of Symbolic Logic
On nonstandard models in higher order logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 204-219
- Print publication:
- March 1984
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 327-328
- Print publication:
- March 1984
-
- Article
- Export citation
Constructible falsity and inexact predicates
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 231-233
- Print publication:
- March 1984
-
- Article
- Export citation
Filter Logics on ω
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-256
- Print publication:
- March 1984
-
- Article
- Export citation
Jon Barwise and Kenneth Kunen. Hanf numbers for fragments of L∞ω. Israel journal of mathematics, vol. 10 (1971), pp. 306–320.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, p. 315
- Print publication:
- March 1984
-
- Article
- Export citation
Solomon Feferman. A language and axioms for explicit mathematics. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 87–139. - Solomon Feferman. Constructive theories of functions and classes. Logic colloquium '78, Proceedings of the colloquium held in Mons, August 1978, edited by Maurice Boffa, Dirk van Dalen, and Kenneth McAloon, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 159–224.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 308-311
- Print publication:
- March 1984
-
- Article
- Export citation
Existentially closed torsion-free nilpotent groups of class three1
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-230
- Print publication:
- March 1984
-
- Article
- Export citation
Alfred J. Freddoso. Ockham's theory of truth conditions. Ockham's theory of propositions, Part II of the Summa logicae, by William of Ockham, translated by Alfred J. Freddoso and Henry Schuurman with an introduction by Alfred J. Freddoso, University of Notre Dame Press, Notre Dame and London1980, pp. 1–76.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 306-308
- Print publication:
- March 1984
-
- Article
- Export citation
A minimal degree which collapses ω1
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 298-300
- Print publication:
- March 1984
-
- Article
- Export citation
Hartry H. Field. Science without numbers. A defence of nominalism. Princeton University Press, Princeton1980, xiii + 130 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 303-306
- Print publication:
- March 1984
-
- Article
- Export citation
Stepping up lemmas in definable partitions
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 22-31
- Print publication:
- March 1984
-
- Article
- Export citation
Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 192-203
- Print publication:
- March 1984
-
- Article
- Export citation
Effectively nowhere simple sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-136
- Print publication:
- March 1984
-
- Article
- Export citation
The order indiscernibles of divisible ordered abelian groups1
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-160
- Print publication:
- March 1984
-
- Article
- Export citation
JSL volume 49 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1984
-
- Article
-
- You have access
- Export citation
Commutative regular rings and Boolean-valued fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-297
- Print publication:
- March 1984
-
- Article
- Export citation
Saharon Shelah. Finite diagrams stable in power. Annals of mathematical logic, vol. 2 no. 1 (1970), pp. 69–118.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 315-316
- Print publication:
- March 1984
-
- Article
- Export citation
The universal splitting property. II
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-150
- Print publication:
- March 1984
-
- Article
- Export citation
Generic graph construction
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 234-240
- Print publication:
- March 1984
-
- Article
- Export citation
An extended joint consistency theorem for a family of free modal logics with equality1
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-183
- Print publication:
- March 1984
-
- Article
- Export citation