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
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 72; Issue 3
Main
Journal of Symbolic Logic
Volume 72; Issue 3
Journal of Symbolic Logic
Volume 72; Issue 3
1
Corrigendum to: "Transfer Methods for O-Minimal Topology"
Alessandro Berarducci, Mário Edmundo and Margarita Otero
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 221 KB
Your tags:
english, 2007
2
Models of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem
Benno Van Den Berg and Federico De Marchi
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.81 MB
Your tags:
english, 2007
3
$\Pi _{1}^{0}$Classes and Strong Degree Spectra of Relations
John Chisholm, Jennifer Chubb, Valentina S. Harizanov, Denis R. Hirschfeldt, Carl G. Jockusch, Jr., Timothy McNicholl and Sarah Pingrey
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.38 MB
Your tags:
english, 2007
4
Back Matter
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 105 KB
Your tags:
english, 2007
5
Front Matter
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 318 KB
Your tags:
english, 2007
6
Local Kc Constructions
J. R. Steel
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.08 MB
Your tags:
english, 2007
7
Which Structural Rules Admit Cut Elimination? An Algebraic Criterion
Kazushige Terui
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.20 MB
Your tags:
english, 2007
8
On Notions of Genericity and Mutual Genericity
J. K. Truss
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.10 MB
Your tags:
english, 2007
9
Reconstruction of Homogeneous Relational Structures
Silvia Barbina and Dugald Macpherson
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 995 KB
Your tags:
english, 2007
10
An Algebraic Characterization of Equivalent Preferential Models
Zhaohui Zhu and Rong Zhang
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 2.31 MB
Your tags:
english, 2007
11
Substructural Fuzzy Logics
George Metcalfe and Franco Montagna
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 2.14 MB
Your tags:
english, 2007
12
Some Results in Polychromatic Ramsey Theory
Uri Abraham, James Cummings and Clifford Smyth
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 2.51 MB
Your tags:
english, 2007
13
Erdös-Rado without Choice
Thomas Forster
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 348 KB
Your tags:
english, 2007
14
Turing Computable Embeddings
Julia F. Knight, Sara Miller and M. Vanden Boom
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.56 MB
Your tags:
english, 2007
15
Characterizing Rosy Theories
Clifton Ealy and Alf Onshuus
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.76 MB
Your tags:
english, 2007
16
Lower Bounds for Modal Logics
Pavel Hrubeš
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.26 MB
Your tags:
english, 2007
17
Approximate Counting in Bounded Arithmetic
Emil Jeřábek
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 2.09 MB
Your tags:
english, 2007
18
Parallel Interpolation, Splitting, and Relevance in Belief Change
George Kourousias and David Makinson
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 793 KB
Your tags:
english, 2007
19
DMP in Strongly Minimal Sets
Assaf Hasson and Ehud Hrushovski
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 995 KB
Your tags:
english, 2007
20
Computable Embeddings and Strongly Minimal Theories
J. Chisholm, J. F. Knight and S. Miller
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 893 KB
Your tags:
english, 2007
21
Applications of Kolmogorov Complexity to Computable Model Theory
Bakhadyr Khoussainov, Pavel Semukhin and Frank Stephan
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.22 MB
Your tags:
english, 2007
22
The Settling-Time Reducibility Ordering
Barbara F. Csima and Richard A. Shore
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.44 MB
Your tags:
english, 2007
23
A Note on Σ₁-Maximal Models
A. Cordón-Franco, A. Fernández-Margarit and F. F. Lara-Martín
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 643 KB
Your tags:
english, 2007
24
Local Kc constructions
Steel, J. R.
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 969 KB
Your tags:
english, 2007
25
A note on Σ1-maximal models
Cordón-Franco, A.
,
Fernández-Margarit, A.
,
Lara-Martín, F.F.
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 578 KB
Your tags:
english, 2007
26
Reconstruction of homogeneous relational structures
Barbina, Silvia
,
Macpherson, Dugald
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 870 KB
Your tags:
english, 2007
27
Parallel interpolation, splitting, and relevance in belief change
Kourousias, George
,
Makinson, David
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 734 KB
Your tags:
english, 2007
28
Characterizing rosy theories
Ealy, Clifton
,
Onshuus, Alf
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.45 MB
Your tags:
english, 2007
29
Corrigendum to: “Transfer methods for o-minimal topology”
Berarducci, Alessandro
,
Edmundo, Mário
,
Otero, Margarita
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 249 KB
Your tags:
english, 2007
30
Lower bounds for modal logics
Hrubeš, Pavel
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.07 MB
Your tags:
english, 2007
31
Computable embeddings and strongly minimal theories
Chisholm, J.
,
Knight, J. F.
,
Miller, S.
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 753 KB
Your tags:
english, 2007
32
Π1 0 classes and strong degree spectra of relations
Chisholm, John
,
Chubb, Jennifer
,
Harizanov, Valentina S.
,
Hirschfeldt, Denis R.
,
Jockusch, Carl G.
,
McNicholl, Timothy
,
Pingrey, Sarah
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.16 MB
Your tags:
english, 2007
33
Some results in polychromatic Ramsey theory
Abraham, Uri
,
Cummings, James
,
Smyth, Clifford
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 2.06 MB
Your tags:
english, 2007
34
DMP in strongly minimal sets
Hasson, Assaf
,
Hrushovski, Ehud
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 858 KB
Your tags:
english, 2007
35
The settling-time reducibility ordering
Csima, Barbara F.
,
Shore, Richard A.
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.21 MB
Your tags:
english, 2007
36
An algebraic characterization of equivalent preferential models
Zhu, Zhaohui
,
Zhang, Rong
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.91 MB
Your tags:
english, 2007
37
JSL Volume 72 issue 3 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.64 MB
Your tags:
english, 2007
38
Substructural fuzzy logics
Metcalfe, George
,
Montagna, Franco
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.78 MB
Your tags:
english, 2007
39
Applications of Kolmogorov complexity to computable model theory
Khoussainov, Bakhadyr
,
Semukhin, Pavel
,
Stephan, Frank
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.02 MB
Your tags:
english, 2007
40
Turing computable embeddings
Knight, Julia F.
,
Miller, Sara
,
Boom, M. Vanden
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.28 MB
Your tags:
english, 2007
41
Which structural rules admit cut elimination? An algebraic criterion
Terui, Kazushige
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.03 MB
Your tags:
english, 2007
42
Models of non-well-founded sets via an indexed final coalgebra theorem
van den Berg, Benno
,
de Marchi, Federico
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.52 MB
Your tags:
english, 2007
43
Erdős-Rado without choice
Forster, Thomas
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 356 KB
Your tags:
english, 2007
44
Approximate counting in bounded arithmetic
Jeřábek, Emil
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.70 MB
Your tags:
english, 2007
45
JSL Volume 72 issue 3 Cover and Back matter
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 1.82 MB
Your tags:
english, 2007
46
On notions of genericity and mutual genericity
Truss, J. K.
Journal:
Journal of Symbolic Logic
Year:
2007
Language:
english
File:
PDF, 966 KB
Your tags:
english, 2007
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
×
×