Volume 64; Issue 3

Main
Journal of Symbolic Logic
Volume 64; Issue 3

Journal of Symbolic Logic

Volume 64; Issue 3

1

Le Carre de L'Egalite

Journal:

Journal of Symbolic Logic

Year:

1999

File:

PDF, 342 KB

1999

2

Combinatorial Properties of Filters and Open Covers for Sets of Real Numbers

Claude Laflamme and Marion Scheepers

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 373 KB

english, 1999

3

Russell's Hidden Substitutional Theoryby Gregory Landini

Review by: Alasdair Urquhart

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 107 KB

english, 1999

4

Heights of Models of ZFC and the Existence of End Elementary Extensions II

Andrés Villaveces

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 308 KB

english, 1999

5

Flat Morley Sequences

Ludomir Newelski

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 409 KB

english, 1999

6

Bounded Arithmetic, Propositional Logic, and Complexity Theoryby Jan Krajiček

Review by: P. Clote

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 207 KB

english, 1999

7

Subsystems of Second Order Arithmeticby Stephen G. Simpson

Review by: Peter Cholak

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 104 KB

english, 1999

8

A finite family weak square principle

Schimmerling, Ernest

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 1.23 MB

english, 1999

9

The emptiness problem for intersection types

Urzyczyn, Paweł

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 1.34 MB

english, 1999

10

An elementary definability theorem for first order logic

Butz, C., Moerdijk, I.

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 604 KB

english, 1999

11

Finite powers of strong measure zero sets

Scheepers, Marion

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 926 KB

english, 1999

12

Introduction to Logicby Patrick Suppes

Review by: H. B. Enderton

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 246 KB

english, 1999

13

Freeness in classes without equality

Elgueta, Raimon

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 2.54 MB

english, 1999

14

Forking and fundamental order in simple theories

Lascar, Daniel, Pillay, Anand

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 429 KB

english, 1999

15

There Exist Exactly Two Maximal Strictly Relevant Extensions of the Relevant Logic R

Kazimierz Swirydowicz

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 1.49 MB

english, 1999

16

Hyperfinite type structures

Normann, Dag, Palmgren, Erik, Stoltenberg-Hansen, Viggo

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 549 KB

english, 1999

17

Computability, enumerability, unsolvability, Directions in recursion theory, edited by Cooper S. B., Slaman T. A., and Wainer S. S., London Mathematical Society lecture note series, no. 224, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, vii + 347 pp.Harrington Leo and Soare Robert I., Dynamic properties of computably enumerable sets, Pp. 105–121.Herrmann Eberhard, On the ∀∃-theory of the factor lattice by the major subset relation, Pp. 139–166.Lerman Manuel, Embeddings into the recursively enumerable degrees, Pp. 185–204.Yi Xiaoding, Extension of embeddings on the recursively enumerable degrees modulo the cappable degrees, Pp. 313–331.Nies André, Relativization of structures arising from computability theory

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 527 KB

english, 1999

18

JSL Volume 64 issue 3 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 10.03 MB

english, 1999

19

Grafted frames and S1 -completeness

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 979 KB

english, 1999

20

Solovay-type characterizations for forcing-algebras

Brendle, Jörg, Löwe, Benedikt

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 999 KB

english, 1999

21

Jónsson cardinals, Erdős cardinals, and the core model

Mitchell, W. J.

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 1.46 MB

english, 1999

22

Goldstern Martin and Judah Haim, The incompleteness phenomenon, A new course in mathematical logic, A K Peters, Wellesley, Mass., 1995, xiii + 247 pp.

Enderton, H. B.

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 329 KB

english, 1999

23

JSL Volume 64 issue 3 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 9.38 MB

english, 1999

24

Un principe d'ax-kochen-ershov pour des structures intermédiates entre groupes et corps valués

Delon, Françoise, Simonetta, Patrick

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 2.19 MB

english, 1999

25

Laver sequences for extendible and super-almost-huge cardinals

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 1.27 MB

english, 1999

26

Carroll Lewis (pseudonym), Das Spiel der Logik, Germam Translation by Micheal Zöllner of 671, Edited and with an afterword by Good Paul. Tropen Verlag, Cologne, and Frommann-Holzboog, Stuttgart, 1998, 199 pp.Good Paul, Logik—ein Spiel, Therein, pp. 103–119.

Stenning, Keith

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 407 KB

english, 1999

27

Kanovei Vladimir and Reeken Michael, Internal approach to external sets and universes, Part 1, Bounded set theory, Studia logica, vol. 55 (1995), pp. 229–257.Kanovei Vladimir and Reeken Michael, Internal approach to external sets and universes, Part 2, External universes over the universe of bounded set theory, Studia logica, vol. 55 (1995), pp. 347–376.Kanovei Vladimir and Reeken Michael, Internal approach to external sets and universes, Part 3, Partially saturated universes, Studia logica, vol. 56 (1996), pp. 293–322.

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 335 KB

english, 1999

28

Implicit measurements of dynamic complexity properties and splittings of speedable sets

Jahn, Michael A.

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 1.91 MB

english, 1999

29

Lascar and Morley ranks differ in differentially closed fields

Hrushovski, Ehud, Scanlon, Thomas

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 397 KB

english, 1999

30

Definite descriptions, A reader, edited by Ostertag Gary, Bradford books, The MIT Press, Cambridge, Mass., and London, 1998, xii + 411 pp.Ostertag Gary, Introduction, Pp. 1–34.Russell Bertrand, On denoting, A reprint of 1119. Pp. 35–49.Whitehead A. N. and Russell Bertrand, From Principia mathematica, A reprint of pp. 30–32, 66–71, 173–175 of 1941. Pp. 51–65.Russell Bertrand, Descriptions, A reprint of pp. 167–180 of 11126. Pp. 67–77.Neale Stephen, Grammatical form, logical form, and incomplete symbols. A reprint of LXI 1391. Pp. 79–121.Carnap Rudolf, From Meaning and necessity, A reprint of pp. 32–42 of XIV 237. Pp. 123–133.Strawson P. F., On referring, A reprint of XVIII 87, Pp. 135–160.Lambert Karel, A theory of definite descriptions, A r

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 530 KB

english, 1999

31

Model completeness of the new strongly minimal sets

Holland, Kitty L.

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 1.06 MB

english, 1999

32

On recursive enumerability with finite repetitions

Wehner, Stephan

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 1.22 MB

english, 1999

33

The ground-negative fragment of first-order logic is -complete

Voronkov, Andrei

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 477 KB

english, 1999

34

A weak Dodd-Jensen lemma

Neeman, Itay, Steel, John

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 833 KB

english, 1999

35

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 132 KB

english, 1999

36

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 137 KB

english, 1999