Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 69; Issue 3

Main
Journal of Symbolic Logic
Volume 69; Issue 3

Journal of Symbolic Logic

Volume 69; Issue 3

1

Patterns of Paradox

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 759 KB

english, 2004

2

Front Matter

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 199 KB

english, 2004

3

On Spectra of Sentences of Monadic Second Order Logic with Counting

E. Fischer and J. A. Makowsky

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 2.69 MB

english, 2004

4

Lovely Pairs of Models: The Non First Order Case

Itay Ben-Yaacov

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 2.28 MB

english, 2004

5

The Complexity of Continuous Embeddability between Dendrites

Alberto Marcone and Christian Rosendal

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 1.17 MB

english, 2004

6

On Some Small Cardinals for Boolean Algebras

Ralph McKenzie and J. Donald Monk

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 1008 KB

english, 2004

7

Reverse Mathematics and the Equivalence of Definitions for Well and Better Quasi-Orders

Peter Cholak, Alberto Marcone and Reed Solomon

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 3.57 MB

english, 2004

8

Every Polynomial-Time 1-Degree Collapses If and Only If P = Pspace

Stephen A. Fenner, Stuart A. Kurtz and James S. Royer

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 3.07 MB

english, 2004

9

Solovay Models and Forcing Extensions

Joan Bagaria and Roger Bosch

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 2.40 MB

english, 2004

10

Leibnizian Models of Set Theory

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 1.46 MB

english, 2004

11

On the Intuitionistic Strength of Monotone Inductive Definitions

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 956 KB

english, 2004

12

Continuum-Many Boolean Algebras of the Form$\mathcal{P}(\omega)/\mathcal{I}, \mathcal{I}$Borel

Michael Ray Oliver

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 1.72 MB

english, 2004

13

Dividing in the Algebra of Compact Operators

Alexander Berenstein

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 1.44 MB

english, 2004

14

Wellfoundedness Proofs by Means of Non-Monotonic Inductive Definitions I: Π₂⁰-Operators

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 1.90 MB

english, 2004

15

Diophantine Properties of Sets Definable in O-Minimal Structures

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 1.06 MB

english, 2004

16

On the Construction of Effectively Random Sets

Wolfgang Merkle and Nenad Mihailović

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 2.01 MB

english, 2004

17

Filtering Unification and Most General Unifiers in Modal Logic

Silvio Ghilardi and Lorenzo Sacchetti

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 2.89 MB

english, 2004

18

Every 2-Random Real Is Kolmogorov Random

Joseph S. Miller

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 767 KB

english, 2004

19

Almost Everywhere Domination

Natasha L. Dobrinen and Stephen G. Simpson

Journal:

Journal of Symbolic Logic

Année:

2004

Fichier:

PDF, 1.60 MB

2004

20

Theories of Presheaf Type

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 1.45 MB

english, 2004

21

Retraction Note for "PDL Has Interpolation"

Tomasz Kowalski

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 91 KB

english, 2004

22

Back Matter

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 294 KB

english, 2004

23

On spectra of sentences of monadic second order logic with counting

Fischer, E., Makowsky, J. A.

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 1.61 MB

english, 2004

24

Every polynomial-time 1-degree collapses if and only if P = PSPACE

Fenner, Stephen A., Kurtz, Stuart A., Royer, James S.

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 1.80 MB

english, 2004

25

JSL volume 69 issue 3 Cover and Front matter

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 8.91 MB

english, 2004

26

Leibnizian models of set theory

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 982 KB

english, 2004

27

Lovely pairs of models: the non first order case

Ben-Yaacov, Itay

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 1.38 MB

english, 2004

28

Continuum-many Boolean algebras of the form Borel

Oliver, Michael Ray

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 1.10 MB

english, 2004

29

Patterns of paradox

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 559 KB

english, 2004

30

Almost everywhere domination

Dobrinen, Natasha L., Simpson, Stephen G.

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 601 KB

english, 2004

31

On the construction of effectively random sets

Merkle, Wolfgang, Mihailović, Nenad

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 1.22 MB

english, 2004

32

The complexity of continuous embeddability between dendrites

Marcone, Alberto, Rosendal, Christian

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 795 KB

english, 2004

33

JSL volume 69 issue 3 Cover and Back matter

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 9.08 MB

english, 2004

34

Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π2 0-operators

Arai, Toshiyasu

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 1.18 MB

english, 2004

35

Dividing in the algebra of compact operators

Berenstein, Alexander

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 932 KB

english, 2004

36

Retraction note for “PDL has interpolation”

Kowalski, Tomasz

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 890 KB

english, 2004

37

On some small cardinals for Boolean algebras

Mckenzie, Ralph, Monk, J. Donald

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 696 KB

english, 2004

38

Every 2-random real is Kolmogorov random

Miller, Joseph S.

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 550 KB

english, 2004

39

On the intuitionistic strength of monotone inductive definitions

Tupailo, Sergei

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 666 KB

english, 2004

40

Reverse mathematics and the equivalence of definitions for well and better quasi-orders

Cholak, Peter, Marcone, Alberto, Solomon, Reed

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 2.07 MB

english, 2004

41

Solovay models and forcing extensions

Bagaria, Joan, Bosch, Roger

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 1.50 MB

english, 2004

42

Theories of presheaf type

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 929 KB

english, 2004

43

Diophantine properties of sets definable in o-minimal structures

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 727 KB

english, 2004

44

Filtering unification and most general unifiers in modal logic

Ghilardi, Silvio, Sacchetti, Lorenzo

Journal:

Journal of Symbolic Logic

Année:

2004

Langue:

english

Fichier:

PDF, 1.71 MB

english, 2004