Volume 66; Issue 3

Journal of Symbolic Logic

Volume 66; Issue 3
2

Elementary Equivalence for Abelian-by-Finite and Nilpotent Groups

Francis Oger
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 247 KB
english, 2001
3

Front Matter

Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 93 KB
english, 2001
5

An Axiomatization of Full Computation Tree Logic

M. Reynolds
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 845 KB
english, 2001
6

A Boundedness Lemma for Iterations

Greg Hjorth
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 268 KB
english, 2001
8

On Elementary Embeddings from an Inner Model to the Universe

J. Vickers and P. D. Welch
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 614 KB
english, 2001
9

A Note on the Isomorphism Problem for SK[G]

Zoé Chatzidakis and Peter Pappas
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 128 KB
english, 2001
10

An Intuitionistic Version of Zermelo's Proof That Every Choice Set Can Be Well-Ordered

J. Todd Wilson
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 159 KB
english, 2001
11

Stable Theories with a New Predicate

Enrique Casanovas and Martin Ziegler
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 322 KB
english, 2001
12

Canonicity for Intensional Logics with Even Axioms

Timothy J. Surendonk
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 334 KB
english, 2001
13

Can Partial Indexings Be Totalized?

Dieter Spreen
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 1.02 MB
english, 2001
14

Unfoldable Cardinals and the GCH

Joel David Hamkins
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 290 KB
english, 2001
15

Computational Randomness and Lowness

Sebastiaan A. Terwijn and Domenico Zambella
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 179 KB
english, 2001
16

Existence of Prime Elements in Rings of Generalized Power Series

Daniel Pitteloud
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 240 KB
english, 2001
17

Number of Variables Is Equivalent to Space

Neil Immerman, Jonathan F. Buss and David A. Mix Barrington
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 297 KB
english, 2001
19

Cofinitary Groups, almost Disjoint and Dominating Families

Michael Hrušák, Juris Steprans and Yi Zhang
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 383 KB
english, 2001
20

Exact Bounds for Lengths of Reductions in Typed λ-Calculus

Arnold Beckmann
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 194 KB
english, 2001
22

Properties of Ideals on the Generalized Cantor Spaces

Jan Kraszewski
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 364 KB
english, 2001
24

Forbidden Subgraphs and Forbidden Substructures

Gregory Cherlin and Niandong Shi
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 247 KB
english, 2001
25

The Mean Value Theorem in Second Order Arithmetic

Christopher S. Hardin and Daniel J. Velleman
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 160 KB
english, 2001
28

Decidable Fragments of First-Order Modal Logics

Frank Wolter and Michael Zakharyaschev
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 492 KB
english, 2001
29

The Cofinality of the Random Graph

Steve Warner
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 194 KB
english, 2001
30

Minimality and Completions of PA

Julia F. Knight
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 257 KB
english, 2001
31

On Computable Automorphisms of the Rational Numbers

A. S. Morozov and J. K. Truss
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 275 KB
english, 2001
32

Proper Forcing and Remarkable Cardinals II

Ralf-Dieter Schindler
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 282 KB
english, 2001
33

Quantifier Elimination in Tame Infinite p-Adic Fields

Ingo Brigandt
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 262 KB
english, 2001
34

Back Matter

Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 90 KB
english, 2001
35

JSL volume 66 issue 3 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 8.78 MB
english, 2001
36

JSL volume 66 issue 3 Cover and Back matter

Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 8.83 MB
english, 2001