The Journal of Symbolic Logic, Volume 73
Volume 73, Number 1, March 2008 share record
short URL:
http://dblp.org/rec/journals/jsyml/Veldman08 Wim Veldman :
The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective. 1-64 share record
short URL:
http://dblp.org/rec/journals/jsyml/AhmedAN08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Jackson08 Marcel Jackson :
Flat algebras and the translation of universal Horn logic to equational logic. 90-128 share record
short URL:
http://dblp.org/rec/journals/jsyml/KuskeL08 export record
dblp key:
journals/jsyml/GeschkeS08 share record
short URL:
http://dblp.org/rec/journals/jsyml/GeschkeS08 export record
dblp key:
journals/jsyml/HyttinenL08 share record
short URL:
http://dblp.org/rec/journals/jsyml/HyttinenL08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Sakai08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Schmerl08 share record
short URL:
http://dblp.org/rec/journals/jsyml/ParisS08 export record
dblp key:
journals/jsyml/Krajicek08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Krajicek08 Jan Krajícek :
An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams. 227-237 export record
dblp key:
journals/jsyml/Dobrinen08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Dobrinen08 Natasha Dobrinen :
kappa-stationary subsets of kappa + lambda, infinitary games, and distributive laws in Boolean algebras. 238-260 share record
short URL:
http://dblp.org/rec/journals/jsyml/Monk08 J. Donald Monk :
Maximal irredundance and maximal ideal independence in Boolean algebras. 261-275 share record
short URL:
http://dblp.org/rec/journals/jsyml/Fuchs08 Gunter Fuchs :
Closed maximality principles: implications, separations and combinations. 276-308 share record
short URL:
http://dblp.org/rec/journals/jsyml/Ng08 share record
short URL:
http://dblp.org/rec/journals/jsyml/NeemanS08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Clemens08 Volume 73, Number 2, June 2008 share record
short URL:
http://dblp.org/rec/journals/jsyml/Steel08 export record
dblp key:
journals/jsyml/FriedmanWW08 share record
short URL:
http://dblp.org/rec/journals/jsyml/FriedmanWW08 export record
dblp key:
journals/jsyml/Anderson08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Anderson08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Neeman08 Itay Neeman :
Finite state automata and monadic definability of singular cardinals. 412-438 share record
short URL:
http://dblp.org/rec/journals/jsyml/Valette08 Guillaume Valette :
On metric types that are definable in an o-minimal structure. 439-447 share record
short URL:
http://dblp.org/rec/journals/jsyml/Astier08 Vincent Astier :
Special groups whose isometry relation is a finite union of cosets. 448-473 share record
short URL:
http://dblp.org/rec/journals/jsyml/Gray08 James Gray :
Coding complete theories in Galois groups. 474-491 share record
short URL:
http://dblp.org/rec/journals/jsyml/Gitik08 Moti Gitik :
Some pathological examples of precipitous ideals. 492-511 export record
dblp key:
journals/jsyml/DobrinenF08 share record
short URL:
http://dblp.org/rec/journals/jsyml/DobrinenF08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Neeman08a share record
short URL:
http://dblp.org/rec/journals/jsyml/Terwijn08 export record
dblp key:
journals/jsyml/BarmpaliasLS08 share record
short URL:
http://dblp.org/rec/journals/jsyml/BarmpaliasLS08 export record
dblp key:
journals/jsyml/KolodziejczykT08 share record
short URL:
http://dblp.org/rec/journals/jsyml/KolodziejczykT08 export record
dblp key:
journals/jsyml/DurandLS08 share record
short URL:
http://dblp.org/rec/journals/jsyml/DurandLS08 share record
short URL:
http://dblp.org/rec/journals/jsyml/FuchsH08 share record
short URL:
http://dblp.org/rec/journals/jsyml/CooperS08 export record
dblp key:
journals/jsyml/MyasnikovR08 share record
short URL:
http://dblp.org/rec/journals/jsyml/MyasnikovR08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Pereira08 Luís Pereira :
The PCF conjecture and large cardinals. 674-688 share record
short URL:
http://dblp.org/rec/journals/jsyml/ImpensS08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Repicky08 Miroslav Repický :
Cardinal invariants and the collapse of the continuum by Sacks forcing. 711-727 Volume 73, Number 3, September 2008 share record
short URL:
http://dblp.org/rec/journals/jsyml/Matet08 Pierre Matet :
Weak square bracket relations for Pkappa (lambda). 729-751 share record
short URL:
http://dblp.org/rec/journals/jsyml/Minami08 Hiroaki Minami :
Suslin forcing and parametrized diamond principles. 752-764 export record
dblp key:
journals/jsyml/BaldwinS08 share record
short URL:
http://dblp.org/rec/journals/jsyml/BaldwinS08 export record
dblp key:
journals/jsyml/RabinovichS08 share record
short URL:
http://dblp.org/rec/journals/jsyml/RabinovichS08 export record
dblp key:
journals/jsyml/KennedySV08 share record
short URL:
http://dblp.org/rec/journals/jsyml/KennedySV08 export record
dblp key:
journals/jsyml/Engstrom08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Engstrom08 export record
dblp key:
journals/jsyml/FriedmanT08 share record
short URL:
http://dblp.org/rec/journals/jsyml/FriedmanT08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Gitman08 share record
short URL:
http://dblp.org/rec/journals/jsyml/JunkerZ08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Conidis08 export record
dblp key:
journals/jsyml/FriedmanT08a share record
short URL:
http://dblp.org/rec/journals/jsyml/FriedmanT08a export record
dblp key:
journals/jsyml/SorensenU08 share record
short URL:
http://dblp.org/rec/journals/jsyml/SorensenU08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Berger08 Josef Berger :
The weak König lemma and uniform continuity. 933-939 export record
dblp key:
journals/jsyml/HodkinsonH08 share record
short URL:
http://dblp.org/rec/journals/jsyml/HodkinsonH08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Jones08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Maalouf08 Fares Maalouf :
Construction d'un groupe dans les structures C-minimales. 957-968 share record
short URL:
http://dblp.org/rec/journals/jsyml/BaazI08 export record
dblp key:
journals/jsyml/Franklin08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Franklin08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Lange08 Karen Lange :
The degree spectra of homogeneous models. 1009-1028 share record
short URL:
http://dblp.org/rec/journals/jsyml/Moore08 export record
dblp key:
journals/jsyml/Halupczok08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Halupczok08 Immanuel Halupczok :
Motives for perfect PAC fields with pro-cyclic Galois group. 1036-1050 share record
short URL:
http://dblp.org/rec/journals/jsyml/Perron08 Steven Perron :
Examining fragments of the quantified propositional calculus. 1051-1080 share record
short URL:
http://dblp.org/rec/journals/jsyml/Visser08 Albert Visser :
Closed fragments of provability logics of constructive theories. 1081-1096 Volume 73, Number 4, December 2008 share record
short URL:
http://dblp.org/rec/journals/jsyml/Harris08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Severin08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Miller08 export record
dblp key:
journals/jsyml/KastermansSZ08 share record
short URL:
http://dblp.org/rec/journals/jsyml/KastermansSZ08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Malicki08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Poizat08 Bruno Poizat :
A la recherche de la definition de la complexite d'espace pour le calcul des polynomes a la maniere de Valiant. 1179-1201 export record
dblp key:
journals/jsyml/Starosolski08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Starosolski08 export record
dblp key:
journals/jsyml/Johnstone08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Johnstone08 export record
dblp key:
journals/jsyml/Swirydowicz08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Swirydowicz08 Kazimierz Swirydowicz :
There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height. 1249-1270 share record
short URL:
http://dblp.org/rec/journals/jsyml/Hjorth08 Greg Hjorth :
Borel equivalence relations which are highly unfree. 1271-1277 share record
short URL:
http://dblp.org/rec/journals/jsyml/TsabanZ08 export record
dblp key:
journals/jsyml/Milovich08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Milovich08 David Milovich :
Splitting families and the Noetherian type of beta omega \\ omega. 1289-1306 export record
dblp key:
journals/jsyml/CummingsF08 share record
short URL:
http://dblp.org/rec/journals/jsyml/CummingsF08 share record
short URL:
http://dblp.org/rec/journals/jsyml/McCarty08 Charles McCarty :
Completeness and incompleteness for intuitionistic logic. 1315-1327 share record
short URL:
http://dblp.org/rec/journals/jsyml/GaoO08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Binns08 export record
dblp key:
journals/jsyml/IshiharaS08 share record
short URL:
http://dblp.org/rec/journals/jsyml/IshiharaS08 export record
dblp key:
journals/jsyml/Sinapova08 share record
short URL:
http://dblp.org/rec/journals/jsyml/Sinapova08 Dima Sinapova :
A model for a very good scale and a bad scale. 1361-1372 share record
short URL:
http://dblp.org/rec/journals/jsyml/Epstein08 Rachel Epstein :
Prime models of computably enumerable degree. 1373-1388 share record
short URL:
http://dblp.org/rec/journals/jsyml/Pudlak08 Pavel Pudlák :
Fragments of bounded arithmetic and the lengths of proofs. 1389-1406 export record
dblp key:
journals/jsyml/OmanadzeS08 share record
short URL:
http://dblp.org/rec/journals/jsyml/OmanadzeS08 export record
dblp key:
journals/jsyml/DzamonjaP08 share record
short URL:
http://dblp.org/rec/journals/jsyml/DzamonjaP08 export record
dblp key:
journals/jsyml/KurilicS08 share record
short URL:
http://dblp.org/rec/journals/jsyml/KurilicS08
Google
Google Scholar
MS Academic Search
CiteSeerX
Semantic Scholar
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2016-09-29 23:23 CEST by the dblp team