13629 results in The Journal of Symbolic Logic
Some theories with positive induction of ordinal strength φω0
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 818-842
- Print publication:
- September 1996
-
- Article
- Export citation
Relational and partial variable sets and basic predicate logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 843-872
- Print publication:
- September 1996
-
- Article
- Export citation
Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 880-905
- Print publication:
- September 1996
-
- Article
- Export citation
Automorphisms of first-order structures, edited by Richard Kaye and Dugald Macpherson, Clarendon Press, Oxford University Press, Oxford and New York1994, xiv + 386 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1045-1048
- Print publication:
- September 1996
-
- Article
- Export citation
JSL volume 61 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 1996
-
- Article
-
- You have access
- Export citation
Stable structures with few substructures
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 985-1005
- Print publication:
- September 1996
-
- Article
- Export citation
Automorphism–invariant measures on ℵ0-categorical structures without the independence property
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 640-652
- Print publication:
- June 1996
-
- Article
- Export citation
Logic and computation, Proceedings of a workshop held at Carnegie Mellon University, June 30–July 2, 1987, edited by Wilfried Sieg, Contemporary Mathematics, vol. 106, American Mathematical Society, Providence1990, xiv + 297 pp. - Douglas K. Brown. Notions of closed subsets of a complete separable metric space in weak subsystems of second order arithmetic. Pp. 39–50. - Kostas Hatzikiriakou and Stephen G. Simpson. WKL0 and orderings of countable abelian groups. Pp. 177–180. - Jeffry L. Hirst. Marriage theorems and reverse mathematics. Pp. 181–196. - Xiaokang Yu. Radon–Nikodym theorem is equivalent to arithmetical comprehension. Pp. 289–297. - Fernando Ferreira. Polynomial time computable arithmetic. Pp. 137–156. - Wilfried Buchholz and Wilfried Sieg. A note on polynomial time computable arithmetic. Pp. 51–55. - Samuel R. Buss. Axiomatizations and conservation results for fragments of bounded arithmetic. Pp. 57–84. - Gaisi Takeuti. Sharply bounded arithmetic and the function a – 1. Pp. 281–288. - Peter G. Clote. A smash-based hierarchy between PTIME and PSPACE (preliminary version). Pp. 85–100. - Solomon Feferman. Polymorphic typed lambda-calculi in a type-free axiomatic framework. Pp. 101–136 - Michael Beeson. Some theories conservative over intuitionistic arithmetic. Pp. 1–15.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 697-699
- Print publication:
- June 1996
-
- Article
- Export citation
Fine structure for tame inner models
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 621-639
- Print publication:
- June 1996
-
- Article
- Export citation
Stretchings
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 563-585
- Print publication:
- June 1996
-
- Article
- Export citation
On external Scott algebras in nonstandard models of Peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 586-607
- Print publication:
- June 1996
-
- Article
- Export citation
Erwin Engeler. The combinatory programme. In collaboration with K. Aberer, B. Amrhein, O. Gloor, M. von Mohrenschildt, D. Otth, G. Schwärzler, and T. Weibel. Progress in theoretical computer science, no. 15. Birkhäuser, Boston, Basel, and Berlin, 1995, vii + 143 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 696-697
- Print publication:
- June 1996
-
- Article
- Export citation
The undecidability of second order linear logic without exponentials
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 541-548
- Print publication:
- June 1996
-
- Article
- Export citation
Definability and decidability issues in extensions of the integers with the divisibility predicate
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 515-540
- Print publication:
- June 1996
-
- Article
- Export citation
Martin D. Davis, Ron Sigal, and Elaine J. Weyuker. Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer science and scientific computing. Academic Press, Boston, San Diego, New York, etc., 1994, xix + 609 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 703-704
- Print publication:
- June 1996
-
- Article
- Export citation
JSL volume 61 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1996
-
- Article
-
- You have access
- Export citation
Wolfgang Carl. Frege's theory of sense and reference. Its origins and scope. Modern European philosophy. Cambridge University Press, Cambridge, Neuyork, und Oakleigh, Victoria, 1994, viii + 220 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 689-691
- Print publication:
- June 1996
-
- Article
- Export citation
Robert W. Floyd and Richard Beigel. The language of machines. An introduction to computability and formal languages. Computer Science Press, New York1994, xvii + 706 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 701-703
- Print publication:
- June 1996
-
- Article
- Export citation
Raymond Turner. Truth and modality for knowledge representation. Pitman, London 1990, v + 122 pp., and Artificial intelligence series, The MIT Press, Cambridge, Mass., 1991, vii + 126 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 693-696
- Print publication:
- June 1996
-
- Article
- Export citation
On power set in explicit mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 468-489
- Print publication:
- June 1996
-
- Article
- Export citation