Campagne de collecte 15 septembre 2024 – 1 octobre 2024
C'est quoi, la collecte de fonds?
recherche de livres
livres
recherche d'articles
articles
Campagne de collecte:
17.2% pourcents atteints
S'identifier
S'identifier
les utilisateurs autorisés sont disponibles :
recommandations personnelles
Telegram bot
historique de téléchargement
envoyer par courrier électronique ou Kindle
gestion des listes de livres
sauvegarder dans mes Favoris
Personnel
Requêtes de livres
Recherche
Revues
La participation
Faire un don
Litera Library
Faire un don de livres papier
Ajouter des livres papier
Ouvrir LITERA Point
Volume 68; Issue 4
Main
Journal of Symbolic Logic
Volume 68; Issue 4
Journal of Symbolic Logic
Volume 68; Issue 4
1
Volume Information
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 414 KB
Vos balises:
english, 2003
2
Front Matter
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 202 KB
Vos balises:
english, 2003
3
Universally Baire Sets and Definable Well-Orderings of the Reals
Sy D. Friedman and Ralf Schindler
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 402 KB
Vos balises:
english, 2003
4
A Theory for Log-Space and NLIN versus co-NLIN
Chris Pollett
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 248 KB
Vos balises:
english, 2003
5
The Axiom of Choice and Combinatory Logic
Andrea Cantini
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 367 KB
Vos balises:
english, 2003
6
Ranked Partial Structures
Timothy J. Carlson
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 744 KB
Vos balises:
english, 2003
7
Simple Stable Homogeneous Groups
Alexander Berenstein
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 434 KB
Vos balises:
english, 2003
8
Cardinal-Preserving Extensions
Sy D. Friedman
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 235 KB
Vos balises:
english, 2003
9
Partitioning Large Vector Spaces
James H. Schmerl
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 241 KB
Vos balises:
english, 2003
10
An Application of Kochen's Theorem
Michael C. Laskowski
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 222 KB
Vos balises:
english, 2003
11
Recovering Ordered Structures from Quotients of Their Automorphism Groups
M. Giraudet and J. K. Truss
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 237 KB
Vos balises:
english, 2003
12
A Computably Categorical Structure Whose Expansion by a Constant Has Infinite Computable Dimension
Denis R. Hirschfeldt, Bakhadyr Khoussainov and Richard A. Shore
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 841 KB
Vos balises:
english, 2003
13
Parallel Strategies
Pavel Pudlák
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 223 KB
Vos balises:
english, 2003
14
Finite-to-One Maps
Thomas Forster
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 115 KB
Vos balises:
english, 2003
15
Additivity Properties of Topological Diagonalizations
Tomek Bartoszynski, Saharon Shelah and Boaz Tsaban
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 186 KB
Vos balises:
english, 2003
16
Distinguishing Types of Gaps in P(ω)/fin
Teruyuki Yorioka
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 357 KB
Vos balises:
english, 2003
17
A Short Proof of the Strong Normalization of Classical Natural Deduction with Disjunction
René David and Karim Nour
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 294 KB
Vos balises:
english, 2003
18
Proof Normalization Modulo
Gilles Dowek and Benjamin Werner
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 512 KB
Vos balises:
english, 2003
19
Categoricity and U-Rank in Excellent Classes
Olivier Lessmann
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 437 KB
Vos balises:
english, 2003
20
Ordering Mad Families a La Katětov
Michael Hrušák and Salvador García Ferreira
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 388 KB
Vos balises:
english, 2003
21
The Cofinality of the Infinite Symmetric Group and Groupwise Density
Jörg Brendle and Maria Losada
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 200 KB
Vos balises:
english, 2003
22
The Kolmogorov-Loveland Stochastic Sequences Are Not Closed under Selecting Subsequences
Wolfgang Merkle
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 346 KB
Vos balises:
english, 2003
23
On Countable Simple Unidimensional Theories
Anand Pillay
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 225 KB
Vos balises:
english, 2003
24
Ample Dividing
David M. Evans
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 419 KB
Vos balises:
english, 2003
25
A Proof-Theoretic Study of the Correspondence of Classical Logic and Modal Logic
H. Kushida and M. Okada
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 271 KB
Vos balises:
english, 2003
26
Corrigendum to "Strong Normalization Proof with CPS-Translation for Second Order Classical Natural Deduction"
Koji Nakazawa and Makoto Tatsuta
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 93 KB
Vos balises:
english, 2003
27
Back Matter
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 336 KB
Vos balises:
english, 2003
28
The Kolmogorov-Loveland stochastic sequences are not closed under selecting subsequences
Merkle, Wolfgang
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 1.13 MB
Vos balises:
english, 2003
29
Ample Dividing
Evans, David M.
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 1.27 MB
Vos balises:
english, 2003
30
A short proof of the strong normalization of classical natural deduction with disjunction
David, René
,
Nour, Karim
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 862 KB
Vos balises:
english, 2003
31
Additivity properties of topological diagonalizations
Bartoszynski, Tomek
,
Shelah, Saharon
,
Tsaban, Boaz
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 541 KB
Vos balises:
english, 2003
32
Partitioning large vector spaces
Schmerl, James H.
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 769 KB
Vos balises:
english, 2003
33
Proof normalization modulo
Dowek, Gilles
,
Werner, Benjamin
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 1.51 MB
Vos balises:
english, 2003
34
Simple stable homogeneous groups
Berenstein, Alexander
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 1.18 MB
Vos balises:
english, 2003
35
Universally Baire sets and definable well-orderings of the reals
Friedman, SY D.
,
Schindler, Ralf
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 1.17 MB
Vos balises:
english, 2003
36
Ordering MAD families a la Katětov
Hrušák, Michael
,
Ferreira, Salvador García
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 1.16 MB
Vos balises:
english, 2003
37
The cofinality of the infinite symmetric group and groupwise density
Brendle, Jörg
,
Losada, Maria
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 588 KB
Vos balises:
english, 2003
38
A theory for Log-Space and NLIN versus co-NLIN
Pollett, Chris
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 690 KB
Vos balises:
english, 2003
39
Parallel strategies
Pudlák, Pavel
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 719 KB
Vos balises:
english, 2003
40
A computably categorical structure whose expansion by a constant has infinite computable dimension
Hirschfeldt, Denis R.
,
Khoussainov, Bakhadyr
,
Shore, Richard A.
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 2.55 MB
Vos balises:
english, 2003
41
An application of Kochen's theorem
Laskowski, Michael C.
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 591 KB
Vos balises:
english, 2003
42
JSL Volume 68 issue 4 Cover and Back matter
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 7.72 MB
Vos balises:
english, 2003
43
JSL Volume 68 issue 4 Cover and Front matter
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 7.44 MB
Vos balises:
english, 2003
44
Recovering ordered structures from quotients of their automorphism groups
Giraudet, M.
,
Truss, J. K.
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 758 KB
Vos balises:
english, 2003
45
Distinguishing types of gaps in (ω)/fin
Yorioka, Teruyuki
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 1.05 MB
Vos balises:
english, 2003
46
Finite-to-one maps
Forster, Thomas
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 189 KB
Vos balises:
english, 2003
47
Ranked partial structures
Carlson, Timothy J.
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 2.13 MB
Vos balises:
english, 2003
48
A proof-theoretic study of the correspondence of classical logic and modal logic
Kushida, H.
,
Okada, M.
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 710 KB
Vos balises:
english, 2003
49
Categoricity and U-rank in excellent classes
Lessmann, Olivier
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 1.25 MB
Vos balises:
english, 2003
50
Corrigendum to “Strong normalization proof with CPS-translation for second order classical natural deduction”
Nakazawa, Koji
,
Tatsuta, Makoto
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 840 KB
Vos balises:
english, 2003
51
The axiom of choice and combinatory logic
Cantini, Andrea
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 790 KB
Vos balises:
english, 2003
52
On countable simple unidimensional theories
Pillay, Anand
Journal:
Journal of Symbolic Logic
Année:
2003
Langue:
english
Fichier:
PDF, 499 KB
Vos balises:
english, 2003
1
Suivez
ce lien
ou recherchez le bot "@BotFather" sur Telegram
2
Envoyer la commande /newbot
3
Entrez un nom pour votre bot
4
Spécifiez le nom d'utilisateur pour le bot
5
Copier le dernier message de BotFather et le coller ici
×
×