Volume 67; Issue 2

Main
Journal of Symbolic Logic
Volume 67; Issue 2

Journal of Symbolic Logic

Volume 67; Issue 2

1

Multiplication Complexe et Équivalence Élémentaire dans le Langage des Corps

Journal:

Journal of Symbolic Logic

Year:

2002

File:

PDF, 288 KB

2002

2

On Orbits of Prompt and Low Computably Enumerable Sets

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 589 KB

english, 2002

3

On Diophantine Definability and Decidability in Some Rings of Algebraic Functions of Characteristic 0

Alexandra Shlapentokh

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 558 KB

english, 2002

4

Front Matter

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 120 KB

english, 2002

5

Congruence Relations on Lattices of Recursively Enumerable Sets

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 240 KB

english, 2002

6

Monoid Based Semantics for Linear Formulas

W. P. R. Mitchell and H. Simmons

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 397 KB

english, 2002

7

Quelques Propriétés des Théories de Jonsson

Yerulan Mustafin

Journal:

Journal of Symbolic Logic

Year:

2002

File:

PDF, 209 KB

2002

8

Splitting Properties of n-C.E. Enumeration Degrees

I. Sh. Kalimullin

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 243 KB

english, 2002

9

On the Ramseyan Properties of Some Special Subsets of 2ωand Their Algebraic Sums

Andrzej Nowik and Tomasz Weiss

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 230 KB

english, 2002

10

Groundwork for Weak Analysis

António M. Fernandes and Fernando Ferreira

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 468 KB

english, 2002

11

Coding with Ladders a Well Ordering of the Reals

Uri Abraham and Saharon Shelah

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 427 KB

english, 2002

12

An Isomorphism between Monoids of External Embeddings about Definability in Arithmetic

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 445 KB

english, 2002

13

Interpolation for First Order S5

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 313 KB

english, 2002

14

Definable Incompleteness and Friedberg Splittings

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 397 KB

english, 2002

15

Degree Spectra of Relations on Computable Structures in the Presence of Δ02Isomorphisms

Denis R. Hirschfeldt

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 505 KB

english, 2002

16

Deconstructing Inner Model Theory

Ralf-Dieter Schindler, John Steel and Martin Zeman

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 357 KB

english, 2002

17

Compact Complex Manifolds with the DOP and Other Properties

Anand Pillay and Thomas Scanlon

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 198 KB

english, 2002

18

Local Supersimplicity and Related Concepts

Enrique Casanovas and Frank O. Wagner

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 334 KB

english, 2002

19

Generalized Weak Presentations

Alexandra Shlapentokh

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 606 KB

english, 2002

20

Indestructibility and the Level-by-Level Agreement between Strong Compactness and Supercompactness

Arthur W. Apter and Joel David Hamkins

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 478 KB

english, 2002

21

Modules with Few Types over Some Finite-Dimensional Algebras

Mike Prest and Vera Puninskaya

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 388 KB

english, 2002

22

More Undecidable Lattices of Steinitz Exchange Systems

L. R. Galminas and John W. Rosenthal

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 431 KB

english, 2002

23

The Relation of Recursive Isomorphism for Countable Structures

Riccardo Camerlo

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 385 KB

english, 2002

24

Back Matter

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 308 KB

english, 2002

25

More undecidable lattices of Steinitz exchange systems

Galminas, L. R., Rosenthal, John W.

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.38 MB

english, 2002

26

Groundwork for weak analysis

Fernandes, António M., Ferreira, Fernando

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.49 MB

english, 2002

27

Indestructibility and the level-by-level agreement between strong compactness and supercompactness

Apter, Arthur W., Hamkins, Joel David

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.70 MB

english, 2002

28

Local superssimplicity and related concepts

Casanovas, Enrique, Wagner, Frank O.

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.03 MB

english, 2002

29

Degree spectra of relations on computable structures in the presence of Δ2 0 isomorphisms

Hirschfeldt, Denis R.

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.61 MB

english, 2002

30

Coding with ladders a well ordering of the reals

Abraham, Uri, Shelah, Saharon

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.38 MB

english, 2002

31

On orbits, of prompt and low computably enumerable sets

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.82 MB

english, 2002

32

Definable incompleteness and Friedberg splittings

Miller, Russell

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.24 MB

english, 2002

33

On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0

Shlapentokh, Alexandra

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.69 MB

english, 2002

34

Quelques propriétés des théories de Jonsson

Mustafin, Yerulan

Journal:

Journal of Symbolic Logic

Year:

2002

File:

PDF, 754 KB

2002

35

Monoid based semantics for linear formulas (corrected republication)

Mitchell, W. P. R., Simmons, H.

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.10 MB

english, 2002

36

JSL volume 67 issue 2 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 7.54 MB

english, 2002

37

Modules with few types over some finite-dimensional algebras

Prest, Mike, Puninskaya, Vera

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.17 MB

english, 2002

38

Compact complex manifolds with the DOP and other properties

Pillay, Anand, Scanlon, Thomas

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 650 KB

english, 2002

39

JSL volume 67 issue 2 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 7.96 MB

english, 2002

40

Splitting properties of n-c.e. enumeration degrees

Kalimullin, I. SH.

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 744 KB

english, 2002

41

Generalised weak presentations

Shlapentokh, Alexandra

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.86 MB

english, 2002

42

On the Ramseyan properties of some special subsets of 2 ω and their algebraic sums

Nowik, Andrzej, Weiss, Tomasz

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 580 KB

english, 2002

43

Multiplication complexe et équivalence élémentaire dans le langage des corps (Complex multiplication and elementary equivalence in the language of fields)

Journal:

Journal of Symbolic Logic

Year:

2002

File:

PDF, 778 KB

2002

44

An isomorphism between monoids of external embeddings: About definability in arithmetic

Prunescu, Mihai

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.34 MB

english, 2002

45

The relation of recursive isomorphism for countable structures

Camerlo, Riccardo

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.89 MB

english, 2002

46

Interpolation for first order S5

Fitting, Melvin

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 949 KB

english, 2002

47

Deconstructing inner model theory

Schindler, Ralf-Dieter, Steel, John, Zeman, Martin

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1.09 MB

english, 2002

48

Congruence relations on lattices of recursively enumerable sets

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 665 KB

english, 2002