13629 results in The Journal of Symbolic Logic
Time polynomial in input or output
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1083-1088
- Print publication:
- September 1989
-
- Article
- Export citation
JSL volume 54 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1989
-
- Article
-
- You have access
- Export citation
On the ranked points of a Π10 set
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 975-991
- Print publication:
- September 1989
-
- Article
- Export citation
Jan Krajíček and Pavel Pudlák. The number of proof lines and the size of proofs in first order logic. Archive for mathematical logic, vol. 27 (1988), pp. 69–84.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1107-1108
- Print publication:
- September 1989
-
- Article
- Export citation
An independence result in quadratic form theory: Infinitary combinatorics applied to ε-Hermitian spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 689-699
- Print publication:
- September 1989
-
- Article
- Export citation
Charles B. Daniels, James B. Freeman, and Gerald W. Charlwood. Toward an ontology of number, mind and sign. Scots philosophical monographs, no. 10. Aberdeen University Press, Aberdeen, and Humanities Press, Atlantic Highlands, N. J., 1986, vii + 155 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1102-1104
- Print publication:
- September 1989
-
- Article
- Export citation
A note on subgroups of the automorphism group of a saturated model, and regular types
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 858-864
- Print publication:
- September 1989
-
- Article
- Export citation
A cardinality version of Beigel's nonspeedup theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 761-767
- Print publication:
- September 1989
-
- Article
- Export citation
Mike Prest. Model theory and modules. London Mathematical Society lecture note series, no. 130. Cambridge University Press, Cambridge etc. 1988, xviii + 380 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1115-1118
- Print publication:
- September 1989
-
- Article
- Export citation
Generix strikes again
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 847-857
- Print publication:
- September 1989
-
- Article
- Export citation
A note on direct sums of Friedbergnumberings
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1009-1010
- Print publication:
- September 1989
-
- Article
- Export citation
Nonfinite axiomatizability results for cylindric and relation algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 951-974
- Print publication:
- September 1989
-
- Article
- Export citation
Decision problems for differential equations
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 941-950
- Print publication:
- September 1989
-
- Article
- Export citation
A new proof of Sahlqvist's theorem on modal definability and completeness
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 992-999
- Print publication:
- September 1989
-
- Article
- Export citation
G. Mirkowska and A. Salwicki. Algorithmic logic. D. Reidel Publishing Company, Dordrecht etc., and PWN-Polish Scientific Publishers, Warsaw, 1987, xi + 372 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1105-1106
- Print publication:
- September 1989
-
- Article
- Export citation
Propositional proof systems, the consistency of first order theories and the complexity of computations
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1063-1079
- Print publication:
- September 1989
-
- Article
- Export citation
Hao Wang. Reflections on Kurt Gödel. Bradford books. The MIT Press, Cambridge, Mass., and London, 1987, xxvi + 336 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1095-1098
- Print publication:
- September 1989
-
- Article
- Export citation
Patrick Farrington. Hinges and automorphisms of the degrees of non-constructibility. The journal of the London Mathematical Society, ser. 2 vol. 28 (1983), pp. 193–202. - Petr Hájek. Some results on degrees of constructibility. Higher set theory, Proceedings, Oberwolfach, Germany, April 13–23, 1977, edited by G. H. Müller and D. S. Scott, Lecture notes in mathematics, vol. 669, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 55–71. - Zofia Adamowicz. On finite lattices of degrees of constructibility of reals. The journal of symbolic logic, vol. 41 (1976), pp. 313–322. - Zofia Adamowicz. Constructive semi-lattices of degrees of constructibility. Set theory and hierarchy theory V, Bierutowice, Poland 1976, edited by A. Lachlan, M. Srebrny, and A. Zarach, Lecture notes in mathematics, vol. 619, Springer-Verlag, Berlin, Heidelberg, and New York, 1977, pp. 1–43.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1109-1111
- Print publication:
- September 1989
-
- Article
- Export citation
Dirk van Dalen. Algorithms and decision problems: a crash course in recursion theory. Handbook of philosophica logic, Volume I, Elements of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 409–478.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1094-1095
- Print publication:
- September 1989
-
- Article
- Export citation
A note on the multiplicative semigroup of models of Peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 936-940
- Print publication:
- September 1989
-
- Article
- Export citation