13629 results in The Journal of Symbolic Logic
A note on valuation definable expansions of fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 739-743
- Print publication:
- June 1998
-
- Article
- Export citation
The logic of recursive equations
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 451-478
- Print publication:
- June 1998
-
- Article
- Export citation
Ultrafilters which extend measures
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 638-662
- Print publication:
- June 1998
-
- Article
- Export citation
The representation theories of elementarily equivalent rings
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 439-450
- Print publication:
- June 1998
-
- Article
- Export citation
Sequentially continuous linear mappings in constructive analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 579-583
- Print publication:
- June 1998
-
- Article
- Export citation
Solving Pell equations locally in models of IΔ0
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 402-410
- Print publication:
- June 1998
-
- Article
- Export citation
On minimal structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-426
- Print publication:
- June 1998
-
- Article
- Export citation
A many permutation group result for unstable theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 694-708
- Print publication:
- June 1998
-
- Article
- Export citation
JSL volume 63 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1998
-
- Article
-
- You have access
- Export citation
Relative enumerability in the difference hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 411-420
- Print publication:
- June 1998
-
- Article
- Export citation
Definability and descent
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-378
- Print publication:
- June 1998
-
- Article
- Export citation
Superdestructibility: A dual to Laver's indestructibility
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-554
- Print publication:
- June 1998
-
- Article
- Export citation
A strong version of Herbrand's theorem for introvert sentences
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 555-569
- Print publication:
- June 1998
-
- Article
- Export citation
Pseudo-superstructures as nonstandard universes
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-236
- Print publication:
- March 1998
-
- Article
- Export citation
Orthogonal families of real sequences
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 29-49
- Print publication:
- March 1998
-
- Article
- Export citation
Generic saturation
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 158-162
- Print publication:
- March 1998
-
- Article
- Export citation
Ideals without ccc
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-148
- Print publication:
- March 1998
-
- Article
- Export citation
Heiner Marxen and Jürgen Buntrock. Attacking the busy beaver 5. Bulletin of the European Association for Theoretical Computer Science, no. 40 (Feb.1990), pp. 247–251. - Pascal Michel. Busy beaver competition and Collatz-like problems. Archive for mathematical logic, vol. 32 (1993), pp. 351–367.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-332
- Print publication:
- March 1998
-
- Article
- Export citation
JSL Volume 63 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1998
-
- Article
-
- You have access
- Export citation
On effective topological spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 185-221
- Print publication:
- March 1998
-
- Article
- Export citation