books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open 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
Year:
2003
Language:
english
File:
PDF, 414 KB
Your tags:
english, 2003
2
Front Matter
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 202 KB
Your tags:
english, 2003
3
Universally Baire Sets and Definable Well-Orderings of the Reals
Sy D. Friedman and Ralf Schindler
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 402 KB
Your tags:
english, 2003
4
A Theory for Log-Space and NLIN versus co-NLIN
Chris Pollett
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 248 KB
Your tags:
english, 2003
5
The Axiom of Choice and Combinatory Logic
Andrea Cantini
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 367 KB
Your tags:
english, 2003
6
Ranked Partial Structures
Timothy J. Carlson
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 744 KB
Your tags:
english, 2003
7
Simple Stable Homogeneous Groups
Alexander Berenstein
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 434 KB
Your tags:
english, 2003
8
Cardinal-Preserving Extensions
Sy D. Friedman
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 235 KB
Your tags:
english, 2003
9
Partitioning Large Vector Spaces
James H. Schmerl
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 241 KB
Your tags:
english, 2003
10
An Application of Kochen's Theorem
Michael C. Laskowski
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 222 KB
Your tags:
english, 2003
11
Recovering Ordered Structures from Quotients of Their Automorphism Groups
M. Giraudet and J. K. Truss
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 237 KB
Your tags:
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
Year:
2003
Language:
english
File:
PDF, 841 KB
Your tags:
english, 2003
13
Parallel Strategies
Pavel Pudlák
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 223 KB
Your tags:
english, 2003
14
Finite-to-One Maps
Thomas Forster
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 115 KB
Your tags:
english, 2003
15
Additivity Properties of Topological Diagonalizations
Tomek Bartoszynski, Saharon Shelah and Boaz Tsaban
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 186 KB
Your tags:
english, 2003
16
Distinguishing Types of Gaps in P(ω)/fin
Teruyuki Yorioka
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 357 KB
Your tags:
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
Year:
2003
Language:
english
File:
PDF, 294 KB
Your tags:
english, 2003
18
Proof Normalization Modulo
Gilles Dowek and Benjamin Werner
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 512 KB
Your tags:
english, 2003
19
Categoricity and U-Rank in Excellent Classes
Olivier Lessmann
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 437 KB
Your tags:
english, 2003
20
Ordering Mad Families a La Katětov
Michael Hrušák and Salvador García Ferreira
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 388 KB
Your tags:
english, 2003
21
The Cofinality of the Infinite Symmetric Group and Groupwise Density
Jörg Brendle and Maria Losada
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 200 KB
Your tags:
english, 2003
22
The Kolmogorov-Loveland Stochastic Sequences Are Not Closed under Selecting Subsequences
Wolfgang Merkle
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 346 KB
Your tags:
english, 2003
23
On Countable Simple Unidimensional Theories
Anand Pillay
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 225 KB
Your tags:
english, 2003
24
Ample Dividing
David M. Evans
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 419 KB
Your tags:
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
Year:
2003
Language:
english
File:
PDF, 271 KB
Your tags:
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
Year:
2003
Language:
english
File:
PDF, 93 KB
Your tags:
english, 2003
27
Back Matter
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 336 KB
Your tags:
english, 2003
28
The Kolmogorov-Loveland stochastic sequences are not closed under selecting subsequences
Merkle, Wolfgang
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 1.13 MB
Your tags:
english, 2003
29
Ample Dividing
Evans, David M.
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 1.27 MB
Your tags:
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
Year:
2003
Language:
english
File:
PDF, 862 KB
Your tags:
english, 2003
31
Additivity properties of topological diagonalizations
Bartoszynski, Tomek
,
Shelah, Saharon
,
Tsaban, Boaz
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 541 KB
Your tags:
english, 2003
32
Partitioning large vector spaces
Schmerl, James H.
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 769 KB
Your tags:
english, 2003
33
Proof normalization modulo
Dowek, Gilles
,
Werner, Benjamin
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 1.51 MB
Your tags:
english, 2003
34
Simple stable homogeneous groups
Berenstein, Alexander
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 1.18 MB
Your tags:
english, 2003
35
Universally Baire sets and definable well-orderings of the reals
Friedman, SY D.
,
Schindler, Ralf
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 1.17 MB
Your tags:
english, 2003
36
Ordering MAD families a la Katětov
Hrušák, Michael
,
Ferreira, Salvador García
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 1.16 MB
Your tags:
english, 2003
37
The cofinality of the infinite symmetric group and groupwise density
Brendle, Jörg
,
Losada, Maria
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 588 KB
Your tags:
english, 2003
38
A theory for Log-Space and NLIN versus co-NLIN
Pollett, Chris
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 690 KB
Your tags:
english, 2003
39
Parallel strategies
Pudlák, Pavel
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 719 KB
Your tags:
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
Year:
2003
Language:
english
File:
PDF, 2.55 MB
Your tags:
english, 2003
41
An application of Kochen's theorem
Laskowski, Michael C.
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 591 KB
Your tags:
english, 2003
42
JSL Volume 68 issue 4 Cover and Back matter
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 7.72 MB
Your tags:
english, 2003
43
JSL Volume 68 issue 4 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 7.44 MB
Your tags:
english, 2003
44
Recovering ordered structures from quotients of their automorphism groups
Giraudet, M.
,
Truss, J. K.
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 758 KB
Your tags:
english, 2003
45
Distinguishing types of gaps in (ω)/fin
Yorioka, Teruyuki
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 1.05 MB
Your tags:
english, 2003
46
Finite-to-one maps
Forster, Thomas
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 189 KB
Your tags:
english, 2003
47
Ranked partial structures
Carlson, Timothy J.
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 2.13 MB
Your tags:
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
Year:
2003
Language:
english
File:
PDF, 710 KB
Your tags:
english, 2003
49
Categoricity and U-rank in excellent classes
Lessmann, Olivier
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 1.25 MB
Your tags:
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
Year:
2003
Language:
english
File:
PDF, 840 KB
Your tags:
english, 2003
51
The axiom of choice and combinatory logic
Cantini, Andrea
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 790 KB
Your tags:
english, 2003
52
On countable simple unidimensional theories
Pillay, Anand
Journal:
Journal of Symbolic Logic
Year:
2003
Language:
english
File:
PDF, 499 KB
Your tags:
english, 2003
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×