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 74; Issue 1
Main
Journal of Symbolic Logic
Volume 74; Issue 1
Journal of Symbolic Logic
Volume 74; Issue 1
1
Topological dynamics of definable group actions
Newelski, Ludomir
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 247 KB
Your tags:
english, 2009
2
On second order intuitionistic propositional logic without a universal quantifier
Zdanowski, Konrad
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 131 KB
Your tags:
english, 2009
3
From index sets to randomness in ∅n: random reals and possibly infinite computations part II
Becher, Verónica
,
Grigorieff, Serge
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 334 KB
Your tags:
english, 2009
4
Normal Subgroups of Infinite Symmetric Groups, with an Application to Stratified Set Theory
Nathan Bowler and Thomas Forster
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 879 KB
Your tags:
english, 2009
5
Front Matter
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 486 KB
Your tags:
english, 2009
6
Creatures on ω₁ and Weak Diamonds
Heike Mildenberger
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.22 MB
Your tags:
english, 2009
7
Borel-Amenable Reductibilities for Sets of Reals
Luca Motto Ros
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.90 MB
Your tags:
english, 2009
8
Topological Dynamics of Definable Group Actions
Ludomir Newelski
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.82 MB
Your tags:
english, 2009
9
Decisive Creatures and Large Continuum
Jakob Kellner and Saharon Shelah
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 2.43 MB
Your tags:
english, 2009
10
Zero-One Law and Definability of Linear Order
Hannu Niemistö
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.37 MB
Your tags:
english, 2009
11
From Index Sets to Randomness in$\varphi ^n $: Random Reals and Possibly Infinite Computations Part II
Verónica Becher and Serge Grigorieff
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 2.53 MB
Your tags:
english, 2009
12
On Second Order Intuitionistic Propositional Logic without a Universal Quantifier
Konrad Zdanowski
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 788 KB
Your tags:
english, 2009
13
Towards a Characterization of Order-Invariant Queries over Tame Graphs
Michael Benedikt and Luc Segoufin
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.69 MB
Your tags:
english, 2009
14
Increasing u₂ by a Stationary Set Preserving Forcing
Benjamin Claverie and Ralf Schindler
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 998 KB
Your tags:
english, 2009
15
Reverse Mathematics, Computability, and Partitions of Trees
Jennifer Chubb, Jeffry L. Hirst and Timothy H. Mcnicholl
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.24 MB
Your tags:
english, 2009
16
On Generically Stable Types in Dependent Theories
Alexander Usvyatsov
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 2.73 MB
Your tags:
english, 2009
17
An Inner Model for Global Domination
Sy-David Friedman and Katherine Thompson
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.28 MB
Your tags:
english, 2009
18
Arithmetic on Semigroups
Mihai Ganea
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.12 MB
Your tags:
english, 2009
19
PDL with Intersection and Converse: Satisfiability and Infinite-State Model Checking
Stefan Göller, Markus Lohrey and Carsten Lutz
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 2.74 MB
Your tags:
english, 2009
20
Stacking Mice
Ronald Jensen, Ernest Schimmerling, Ralf Schindler and John Steel
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.58 MB
Your tags:
english, 2009
21
Finding Paths through Narrow and Wide Trees
Stephen Binns and Bjørn Kjos-Hanssen
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 975 KB
Your tags:
english, 2009
22
Back Matter
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 214 KB
Your tags:
english, 2009
23
Prime Models of Finite Computable Dimension
Pavel Semukhin
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.03 MB
Your tags:
english, 2009
24
Increasing u 2 by a stationary set preserving forcing
Claverie, Benjamin
,
Schindler, Ralf
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 896 KB
Your tags:
english, 2009
25
Reverse mathematics, computability, and partitions of trees
Chubb, Jennifer
,
Hirst, Jeffry L.
,
McNicholl, Timothy H.
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.08 MB
Your tags:
english, 2009
26
JSL volume 74 issue 1 Cover and Back matter
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 969 KB
Your tags:
english, 2009
27
Arithmetic on semigroups
Ganea, Mihai
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1013 KB
Your tags:
english, 2009
28
Normal subgroups of infinite symmetric groups, with an application to stratified set theory
Bowler, Nathan
,
Forster, Thomas
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 763 KB
Your tags:
english, 2009
29
PDL with intersection and converse: satisfiability and infinite-state model checking
Stefan Göller,
,
Lohrey, Markus
,
Lutz, Carsten
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 2.23 MB
Your tags:
english, 2009
30
Towards a characterization of order-invariant queries over tame graphs
Benedikt, Michael
,
Segoufin, Luc
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.39 MB
Your tags:
english, 2009
31
Decisive creatures and large continuum
Kellner, Jakob
,
Shelah, Saharon
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 3.03 MB
Your tags:
english, 2009
32
Creatures on ω 1 and weak diamonds
Mildenberger, Heike
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.04 MB
Your tags:
english, 2009
33
Stacking mice
Jensen, Ronald
,
Schimmerling, Ernest
,
Schindler, Ralf
,
Steel, John
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.33 MB
Your tags:
english, 2009
34
Zero-one law and definability of linear order
Niemistö, Hannu
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.15 MB
Your tags:
english, 2009
35
JSL volume 74 issue 1 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.28 MB
Your tags:
english, 2009
36
Prime models of finite computable dimension
Semukhin, Pavel
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 914 KB
Your tags:
english, 2009
37
Borel-amenable reducibilities for sets of reals
Ros, Luca Motto
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.56 MB
Your tags:
english, 2009
38
On generically stable types in dependent theories
Usvyatsov, Alexander
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 2.21 MB
Your tags:
english, 2009
39
An inner model for global domination
Friedman, Sy-David
,
Thompson, Katherine
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 1.08 MB
Your tags:
english, 2009
40
Finding paths through narrow and wide trees
Binns, Stephen
,
Kjos-Hanssen, Bjørn
Journal:
Journal of Symbolic Logic
Year:
2009
Language:
english
File:
PDF, 845 KB
Your tags:
english, 2009
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
×
×