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 64; Issue 3
Main
Journal of Symbolic Logic
Volume 64; Issue 3
Journal of Symbolic Logic
Volume 64; Issue 3
1
Le Carre de L'Egalite
Bruno Poizat
Journal:
Journal of Symbolic Logic
Year:
1999
File:
PDF, 342 KB
Your tags:
1999
2
Combinatorial Properties of Filters and Open Covers for Sets of Real Numbers
Claude Laflamme and Marion Scheepers
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 373 KB
Your tags:
english, 1999
3
Russell's Hidden Substitutional Theoryby Gregory Landini
Review by: Alasdair Urquhart
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 107 KB
Your tags:
english, 1999
4
Heights of Models of ZFC and the Existence of End Elementary Extensions II
Andrés Villaveces
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 308 KB
Your tags:
english, 1999
5
Flat Morley Sequences
Ludomir Newelski
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 409 KB
Your tags:
english, 1999
6
Bounded Arithmetic, Propositional Logic, and Complexity Theoryby Jan Krajiček
Review by: P. Clote
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1999
7
Subsystems of Second Order Arithmeticby Stephen G. Simpson
Review by: Peter Cholak
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 104 KB
Your tags:
english, 1999
8
A finite family weak square principle
Schimmerling, Ernest
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 1.23 MB
Your tags:
english, 1999
9
The emptiness problem for intersection types
Urzyczyn, Paweł
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 1.34 MB
Your tags:
english, 1999
10
An elementary definability theorem for first order logic
Butz, C.
,
Moerdijk, I.
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 604 KB
Your tags:
english, 1999
11
Finite powers of strong measure zero sets
Scheepers, Marion
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 926 KB
Your tags:
english, 1999
12
Introduction to Logicby Patrick Suppes
Review by: H. B. Enderton
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 246 KB
Your tags:
english, 1999
13
Freeness in classes without equality
Elgueta, Raimon
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 2.54 MB
Your tags:
english, 1999
14
Forking and fundamental order in simple theories
Lascar, Daniel
,
Pillay, Anand
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 429 KB
Your tags:
english, 1999
15
There Exist Exactly Two Maximal Strictly Relevant Extensions of the Relevant Logic R
Kazimierz Swirydowicz
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 1.49 MB
Your tags:
english, 1999
16
Hyperfinite type structures
Normann, Dag
,
Palmgren, Erik
,
Stoltenberg-Hansen, Viggo
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 549 KB
Your tags:
english, 1999
17
Computability, enumerability, unsolvability, Directions in recursion theory, edited by Cooper S. B., Slaman T. A., and Wainer S. S., London Mathematical Society lecture note series, no. 224, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, vii + 347 pp.Harrington Leo and Soare Robert I., Dynamic properties of computably enumerable sets, Pp. 105–121.Herrmann Eberhard, On the ∀∃-theory of the factor lattice by the major subset relation, Pp. 139–166.Lerman Manuel, Embeddings into the recursively enumerable degrees, Pp. 185–204.Yi Xiaoding, Extension of embeddings on the recursively enumerable degrees modulo the cappable degrees, Pp. 313–331.Nies André, Relativization of structures arising from computability theory
Chong, C. T.
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 527 KB
Your tags:
english, 1999
18
JSL Volume 64 issue 3 Cover and Back matter
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 10.03 MB
Your tags:
english, 1999
19
Grafted frames and S1 -completeness
Zhou, Beihai
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 979 KB
Your tags:
english, 1999
20
Solovay-type characterizations for forcing-algebras
Brendle, Jörg
,
Löwe, Benedikt
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 999 KB
Your tags:
english, 1999
21
Jónsson cardinals, Erdős cardinals, and the core model
Mitchell, W. J.
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 1.46 MB
Your tags:
english, 1999
22
Goldstern Martin and Judah Haim, The incompleteness phenomenon, A new course in mathematical logic, A K Peters, Wellesley, Mass., 1995, xiii + 247 pp.
Enderton, H. B.
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 329 KB
Your tags:
english, 1999
23
JSL Volume 64 issue 3 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 9.38 MB
Your tags:
english, 1999
24
Un principe d'ax-kochen-ershov pour des structures intermédiates entre groupes et corps valués
Delon, Françoise
,
Simonetta, Patrick
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 2.19 MB
Your tags:
english, 1999
25
Laver sequences for extendible and super-almost-huge cardinals
Corazza, Paul
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 1.27 MB
Your tags:
english, 1999
26
Carroll Lewis (pseudonym), Das Spiel der Logik, Germam Translation by Micheal Zöllner of 671, Edited and with an afterword by Good Paul. Tropen Verlag, Cologne, and Frommann-Holzboog, Stuttgart, 1998, 199 pp.Good Paul, Logik—ein Spiel, Therein, pp. 103–119.
Stenning, Keith
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 407 KB
Your tags:
english, 1999
27
Kanovei Vladimir and Reeken Michael, Internal approach to external sets and universes, Part 1, Bounded set theory, Studia logica, vol. 55 (1995), pp. 229–257.Kanovei Vladimir and Reeken Michael, Internal approach to external sets and universes, Part 2, External universes over the universe of bounded set theory, Studia logica, vol. 55 (1995), pp. 347–376.Kanovei Vladimir and Reeken Michael, Internal approach to external sets and universes, Part 3, Partially saturated universes, Studia logica, vol. 56 (1996), pp. 293–322.
Hrbacek, Karel
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 335 KB
Your tags:
english, 1999
28
Implicit measurements of dynamic complexity properties and splittings of speedable sets
Jahn, Michael A.
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 1.91 MB
Your tags:
english, 1999
29
Lascar and Morley ranks differ in differentially closed fields
Hrushovski, Ehud
,
Scanlon, Thomas
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 397 KB
Your tags:
english, 1999
30
Definite descriptions, A reader, edited by Ostertag Gary, Bradford books, The MIT Press, Cambridge, Mass., and London, 1998, xii + 411 pp.Ostertag Gary, Introduction, Pp. 1–34.Russell Bertrand, On denoting, A reprint of 1119. Pp. 35–49.Whitehead A. N. and Russell Bertrand, From Principia mathematica, A reprint of pp. 30–32, 66–71, 173–175 of 1941. Pp. 51–65.Russell Bertrand, Descriptions, A reprint of pp. 167–180 of 11126. Pp. 67–77.Neale Stephen, Grammatical form, logical form, and incomplete symbols. A reprint of LXI 1391. Pp. 79–121.Carnap Rudolf, From Meaning and necessity, A reprint of pp. 32–42 of XIV 237. Pp. 123–133.Strawson P. F., On referring, A reprint of XVIII 87, Pp. 135–160.Lambert Karel, A theory of definite descriptions, A r
Graff, Delia
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 530 KB
Your tags:
english, 1999
31
Model completeness of the new strongly minimal sets
Holland, Kitty L.
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 1.06 MB
Your tags:
english, 1999
32
On recursive enumerability with finite repetitions
Wehner, Stephan
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 1.22 MB
Your tags:
english, 1999
33
The ground-negative fragment of first-order logic is -complete
Voronkov, Andrei
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 477 KB
Your tags:
english, 1999
34
A weak Dodd-Jensen lemma
Neeman, Itay
,
Steel, John
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 833 KB
Your tags:
english, 1999
35
Back Matter
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 132 KB
Your tags:
english, 1999
36
Front Matter
Journal:
Journal of Symbolic Logic
Year:
1999
Language:
english
File:
PDF, 137 KB
Your tags:
english, 1999
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
×
×