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 66; Issue 4
Main
Journal of Symbolic Logic
Volume 66; Issue 4
Journal of Symbolic Logic
Volume 66; Issue 4
1
L'Égalité au Cube
Bruno Poizat
Journal:
Journal of Symbolic Logic
Year:
2001
File:
PDF, 612 KB
Your tags:
2001
2
Expansions of Dense Linear Orders with the Intermediate Value Property
Chris Miller
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 214 KB
Your tags:
english, 2001
3
Credibility Limited Revision
Sven Ove Hansson, Eduardo Leopoldo Fermé, John Cantwell and Marcelo Alejandro Falappa
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 359 KB
Your tags:
english, 2001
4
Monoid Based Semantics for Linear Formulas
W. P. R. Mitchell and H. Simmons
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 413 KB
Your tags:
english, 2001
5
An Open Mapping Theorem for O-Minimal Structures
Joseph Johns
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 132 KB
Your tags:
english, 2001
6
Shelah's Work on Non-Semi-Proper Iterations, II
Chaz Schlindwein
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 424 KB
Your tags:
english, 2001
7
Volume Information
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 170 KB
Your tags:
english, 2001
8
Front Matter
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 97 KB
Your tags:
english, 2001
9
The Jensen Covering Property
E. Schimmerling and W. H. Woodin
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 402 KB
Your tags:
english, 2001
10
A New Correctness Criterion for the Proof Nets of Non-Commutative Multiplicative Linear Logics
Misao Nagayama and Mitsuhiro Okada
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 826 KB
Your tags:
english, 2001
11
On the Convergence of Query-Bounded Computations and Logical Closure Properties of C.E. Sets
Timothy H. McNicholl
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 370 KB
Your tags:
english, 2001
12
Pure Type Systems with More Liberal Rules
Martin Bunder and Wil Dekkers
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 425 KB
Your tags:
english, 2001
13
An Algebraic Approach to Intuitionistic Connectives
Xavier Caicedo and Roberto Cignoli
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 386 KB
Your tags:
english, 2001
14
Quelques Modestes Remarques a Propos D'une Conséquence Inattendue D'un Résultat Surprenant de Monsieur Frank Olaf Wagner
Bruno Poizat
Journal:
Journal of Symbolic Logic
Year:
2001
File:
PDF, 252 KB
Your tags:
2001
15
The Canary Tree Revisited
Tapani Hyttinen and Mika Rautila
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 382 KB
Your tags:
english, 2001
16
Bounded Variation Implies Regulated: A Constructive Proof
Douglas Bridges and Ayan Mahalanobis
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 180 KB
Your tags:
english, 2001
17
On Tarski on Models
Timothy Bays
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 592 KB
Your tags:
english, 2001
18
On the Recursion Theorem in Iterative Operative Spaces
J. Zashev
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 403 KB
Your tags:
english, 2001
19
Initial Segments of the Lattice of Π01Classes
Douglas Cenzer and Andre Nies
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 399 KB
Your tags:
english, 2001
20
Power-Like Models of Set Theory
Ali Enayat
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 410 KB
Your tags:
english, 2001
21
Embedding Finite Lattices into the Ideals of Computably Enumerable Turing Degrees
William C. Calhoun and Manuel Lerman
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 274 KB
Your tags:
english, 2001
22
Sequent Calculus in Natural Deduction Style
Sara Negri and Jan von Plato
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 290 KB
Your tags:
english, 2001
23
Definable Sets in Boolean-Ordered O-Minimal Structures. I
Ludomir Newelski and Roman Wencel
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 367 KB
Your tags:
english, 2001
24
The Consistency Strength of Successive Cardinals with the Tree Property
Matthew Foreman, Menachem Magidor and Ralf-Dieter Schindler
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 293 KB
Your tags:
english, 2001
25
Realization of Analysis into Explicit Mathematics
Sergei Tupailo
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 361 KB
Your tags:
english, 2001
26
The Classification of Small Types of Rank ω, Part I
Steven Buechler and Colleen Hoover
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 343 KB
Your tags:
english, 2001
27
Partitioning Subsets of Stable Models
Timothy Bays
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 253 KB
Your tags:
english, 2001
28
On the Maximality of Logics with Approximations
José Iovino
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 244 KB
Your tags:
english, 2001
29
Some Structural Results Concerning Supercompact Cardinals
Arthur W. Apter
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 261 KB
Your tags:
english, 2001
30
Continuum Cardinals Generalized to Boolean Algebras
J. Donald Monk
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 631 KB
Your tags:
english, 2001
31
Disquotational Truth and Analyticity
Volker Halbach
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 327 KB
Your tags:
english, 2001
32
Errata in "Strong Axioms of Infinity in NFU"
M. Randall Holmes
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 75 KB
Your tags:
english, 2001
33
Erratum: On the Role of Implication in Formal Logic
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 66 KB
Your tags:
english, 2001
34
Back Matter
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 147 KB
Your tags:
english, 2001
35
JSL volume 66 issue 4 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 7.47 MB
Your tags:
english, 2001
36
JSL volume 66 issue 4 Cover and Back matter
Journal:
Journal of Symbolic Logic
Year:
2001
Language:
english
File:
PDF, 7.75 MB
Your tags:
english, 2001
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
×
×