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 69; Issue 1
Main
Journal of Symbolic Logic
Volume 69; Issue 1
Journal of Symbolic Logic
Volume 69; Issue 1
1
First Order Quantifiers in Monadic Second Order Logic
H. Jerome Keisler and Wafik Boulos Lotfallah
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 2.02 MB
Your tags:
english, 2004
2
Sous-groupes de Carter dans les groupes de rang de Morley fini
Olivier Frécon
Journal:
Journal of Symbolic Logic
Year:
2004
File:
PDF, 1.31 MB
Your tags:
2004
3
Front Matter
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 190 KB
Your tags:
english, 2004
4
Arithmetical Independence Results Using Higher Recursion Theory
Andrew Arana
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 836 KB
Your tags:
english, 2004
5
Construction of Saturated Quasi-Minimal Structure
Masanori Itai, Akito Tsuboi and Kentaro Wakai
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 1.39 MB
Your tags:
english, 2004
6
Some Remarks on One-Basedness
Frank O. Wagner
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 449 KB
Your tags:
english, 2004
7
P versus NP and Computability Theoretic Constructions in Complexity Theory over Algebraic Structures
Gunther Mainhardt
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 2.89 MB
Your tags:
english, 2004
8
Hindman's Theorem, Ultrafilters, and Reverse Mathematics
Jeffry L. Hirst
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 896 KB
Your tags:
english, 2004
9
Generic Σ₃¹ Absoluteness
Sy D. Friedman
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 909 KB
Your tags:
english, 2004
10
Two Step Iteration of Almost Disjoint Families
Jerry E. Vaughan
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 1.03 MB
Your tags:
english, 2004
11
A Weak Variation of Shelah's I[ω₂]
William J. Mitchell
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 746 KB
Your tags:
english, 2004
12
Analytic Countably Splitting Families
Otmar Spinas
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 1.77 MB
Your tags:
english, 2004
13
Model Theory of Comodules
Septimiu Crivei, Mike Prest and Geert Reynders
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 731 KB
Your tags:
english, 2004
14
Splittings of Effectively Speedable Sets and Effectively Levelable Sets
Roland SH. Omanadze
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 1.16 MB
Your tags:
english, 2004
15
A Definable Nonstandard Model of the Reals
Vladimir Kanovei and Saharon Shelah
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 641 KB
Your tags:
english, 2004
16
Standard Sets in Nonstandard Set Theory
Petr Andreev and Karel Hrbacek
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 1.96 MB
Your tags:
english, 2004
17
Truth Definitions in Finite Models
Leszek Aleksander Kołodziejczyk
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 2.01 MB
Your tags:
english, 2004
18
Approximate Euler Characteristic, Dimension, and Weak Pigeonhole Principles
Jan Krajíček
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 1.45 MB
Your tags:
english, 2004
19
Forking and Independence in O-Minimal Theories
Alfred Dolich
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 2.53 MB
Your tags:
english, 2004
20
A Definability Result for Compact Complex Spaces
Dale Radin
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 1.43 MB
Your tags:
english, 2004
21
Wild Edge Colourings of Graphs
Mirna Džamonja, Péter Komjáth and Charles Morgan
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 1.07 MB
Your tags:
english, 2004
22
Dual Weak Pigeonhole Principle, Pseudo-Surjective Functions, and Provability of Circuit Lower Bounds
Jan Krajíček
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 2.60 MB
Your tags:
english, 2004
23
Parsimony Hierarchies for Inductive Inference
Andris Ambainis, John Case, Sanjay Jain and Mandayam Suraj
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 4.21 MB
Your tags:
english, 2004
24
Corrigendum to "A Proof-Technique in Uniform Space Theory"
Douglas Bridges and Luminiţa Vîţă
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 97 KB
Your tags:
english, 2004
25
Back Matter
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 229 KB
Your tags:
english, 2004
26
Hindman's theorem, ultrafilters, and reverse mathematics
Hirst, Jeffry L.
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 674 KB
Your tags:
english, 2004
27
Forking and independence in o-minimal theories
Dolich, Alfred
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 1.61 MB
Your tags:
english, 2004
28
Splittings of effectively speedable sets and effectively levelable sets
Omanadze, Roland SH.
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 864 KB
Your tags:
english, 2004
29
A weak variation of shelah's I[ω 2]
Mitchell, William J.
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 623 KB
Your tags:
english, 2004
30
JSL Volume 69 issue 1 Cover and Back matter
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 9.21 MB
Your tags:
english, 2004
31
Wild edge colourings of graphs
Džamonja, Mirna
,
Komjáth, Péter
,
Morgan, Charles
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 802 KB
Your tags:
english, 2004
32
Analytic countably splitting families
Spinas, Otmar
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 1.17 MB
Your tags:
english, 2004
33
First order quantifiers in monadic second order logic
Keisler, H. Jerome
,
Lotfallah, Wafik Boulos
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 1.29 MB
Your tags:
english, 2004
34
Approximate Euler characteristic, dimension, and weak pigeonhole principles
Krajíček, Jan
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 999 KB
Your tags:
english, 2004
35
P versus NP and computability theoretic constructions in complexity theory over algebraic structures
Mainhardt, Gunther
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 1.81 MB
Your tags:
english, 2004
36
Valuation theoretic content of the Marker-Steinhorn theorem
Tressl, Marcus
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 329 KB
Your tags:
english, 2004
37
Parsimony hierarchies for inductive inference
Ambainis, Andris
,
Case, John
,
Jain, Sanjay
,
Suraj, Mandayam
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 2.53 MB
Your tags:
english, 2004
38
A definability result for compact complex spaces
Radin, Dale
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 986 KB
Your tags:
english, 2004
39
JSL Volume 69 issue 1 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 9.20 MB
Your tags:
english, 2004
40
Truth definitions in finite models
Kołodziejczyk, Leszek Aleksander
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 1.25 MB
Your tags:
english, 2004
41
Standard sets in nonstandard set theory
Andreev, Petr
,
Hrbacek, Karel
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 1.23 MB
Your tags:
english, 2004
42
A definable nonstandard model of the reals
Kanovei, Vladimir
,
Shelah, Saharon
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 495 KB
Your tags:
english, 2004
43
Sous-groupes de Carter dans les groupes de rang de Morley fini
Frécon, Olivier
Journal:
Journal of Symbolic Logic
Year:
2004
File:
PDF, 901 KB
Your tags:
2004
44
Some remarks on one-basedness
O. Wagner, Frank
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 414 KB
Your tags:
english, 2004
45
Generic Σ3 1 absoluteness
Friedman, Sy D.
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 669 KB
Your tags:
english, 2004
46
Model theory of comodules
Crivei, Septimiu
,
Prest, Mike
,
Reynders, Geert
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 566 KB
Your tags:
english, 2004
47
Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds
Krajíček, Jan
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 1.60 MB
Your tags:
english, 2004
48
Two step iteration of almost disjoint families
Vaughan, Jerry E.
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 765 KB
Your tags:
english, 2004
49
Corrigendum to “A proof–technique in uniform space theory”
Bridges, Douglas
,
Vîţӑ, Luminiţa
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 214 KB
Your tags:
english, 2004
50
Construction of saturated quasi-minimal structure
Itai, Masanori
,
Tsuboi, Akito
,
Wakai, Kentaro
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 836 KB
Your tags:
english, 2004
51
Arithmetical independence results using higher recursion theory
Arana, Andrew
Journal:
Journal of Symbolic Logic
Year:
2004
Language:
english
File:
PDF, 504 KB
Your tags:
english, 2004
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
×
×