ask others

The Journal of Symbolic Logic, Volume 73

> Home > Journals > The Journal of Symbolic Logic

Volume 73, Number 1, March 2008

- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Veldman08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Veldman08
Wim Veldman:
The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective. 1-64
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/AhmedAN08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/AhmedAN08
Tarek Sayed Ahmed, Hajnal Andréka, István Németi:
Omitting types for finite variable fragments and complete representations of algebras. 65-89
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Jackson08
- ask others
- 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
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/KuskeL08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/KuskeL08
Dietrich Kuske, Markus Lohrey:
First-order and counting theories of omega-automatic structures. 129-150
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/GeschkeS08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/GeschkeS08
Stefan Geschke, Saharon Shelah:
The number of openly generated Boolean algebras. 151-164
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/HyttinenL08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/HyttinenL08
Tapani Hyttinen, Olivier Lessmann:
Canonical bases in excellent classes. 165-180
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Sakai08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Sakai08
Hiroshi Sakai:
Semistationary and stationary reflection. 181-192
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Schmerl08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Schmerl08
James H. Schmerl:
Nondiversity in substructures. 193-211
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/ParisS08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/ParisS08
Jeff B. Paris, A. Sirokofskich:
On LP-models of arithmetic. 212-226
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Krajicek08
- ask others
- 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
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Dobrinen08
- ask others
- 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
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Monk08
- ask others
- 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
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Fuchs08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Fuchs08
Gunter Fuchs:
Closed maximality principles: implications, separations and combinations. 276-308
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Ng08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Ng08
Keng Meng Ng:
On very high degrees. 309-342
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/NeemanS08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/NeemanS08
Itay Neeman, Ernest Schimmerling:
Hierarchies of forcing axioms I. 343-362
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Clemens08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Clemens08
John D. Clemens:
Weakly pointed trees and partial injections. 363-368

Volume 73, Number 2, June 2008

- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Steel08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Steel08
John R. Steel:
Scales in K(R) at the end of a weak gap. 369-390
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/FriedmanWW08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/FriedmanWW08
Sy-David Friedman, Philip D. Welch, W. Hugh Woodin:
On the consistency strength of the inner model hypothesis. 391-400
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Anderson08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Anderson08
Bernard A. Anderson:
Reals n-generic relative to some perfect tree. 401-411
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Neeman08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Neeman08
Itay Neeman:
Finite state automata and monadic definability of singular cardinals. 412-438
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Valette08
- ask others
- 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
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Astier08
- ask others
- 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
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Gray08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Gray08
James Gray:
Coding complete theories in Galois groups. 474-491
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Gitik08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Gitik08
Moti Gitik:
Some pathological examples of precipitous ideals. 492-511
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/DobrinenF08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/DobrinenF08
Natasha Dobrinen, Sy-David Friedman:
Internal consistency and global co-stationarity of the ground model. 512-521
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Neeman08a
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Neeman08a
Itay Neeman:
Hierarchies of forcing axioms II. 522-542
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Terwijn08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Terwijn08
Sebastiaan Terwijn:
On the structure of the Medvedev lattice. 543-558
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/BarmpaliasLS08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/BarmpaliasLS08
George Barmpalias, Andrew E. M. Lewis, Mariya Ivanova Soskova:
Randomness, lowness and degrees. 559-577
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/KolodziejczykT08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/KolodziejczykT08
Leszek Aleksander Kolodziejczyk, Neil Thapen:
The polynomial and linear hierarchies in models where the weak pigeonhole principle fails. 578-592
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/DurandLS08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/DurandLS08
Bruno Durand, Leonid A. Levin, Alexander Shen:
Complex tilings. 593-613
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/FuchsH08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/FuchsH08
Gunter Fuchs, Joel David Hamkins:
Changing the heights of automorphism towers by forcing with Souslin trees over L. 614-633
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/CooperS08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/CooperS08
S. Barry Cooper, Mariya Ivanova Soskova:
How enumeration reducibility yields extended Harrington non-splitting. 634-655
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/MyasnikovR08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/MyasnikovR08
Alexei G. Myasnikov, Alexander N. Rybalov:
Generic complexity of undecidable problems. 656-673
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Pereira08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Pereira08
Luís Pereira:
The PCF conjecture and large cardinals. 674-688
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/ImpensS08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/ImpensS08
Chris Impens, Sam Sanders:
Transfer and a supremum principle for ERNA. 689-710
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Repicky08
- ask others
- 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

- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Matet08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Matet08
Pierre Matet:
Weak square bracket relations for P_kappa (lambda). 729-751
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Minami08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Minami08
Hiroaki Minami:
Suslin forcing and parametrized diamond principles. 752-764
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/BaldwinS08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/BaldwinS08
John T. Baldwin, Saharon Shelah:
Examples of non-locality. 765-782
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/RabinovichS08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/RabinovichS08
Alexander Rabinovich, Amit Shomrat:
Selection in the monadic theory of a countable ordinal. 783-816
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/KennedySV08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/KennedySV08
Juliette Kennedy, Saharon Shelah, Jouko A. Väänänen:
Regular ultrafilters and finite square principles. 817-823
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Engstrom08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Engstrom08
Fredrik Engström:
A note on standard systems and ultrafilters. 824-830
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/FriedmanT08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/FriedmanT08
Sy-David Friedman, Katherine Thompson:
Internal consistency for embedding complexity. 831-844
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Gitman08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Gitman08
Victoria Gitman:
Scott's problem for Proper Scott sets. 845-860
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/JunkerZ08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/JunkerZ08
Markus Junker, Martin Ziegler:
The 116 reducts of (Q, <, a). 861-884
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Conidis08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Conidis08
Chris J. Conidis:
Classifying model-theoretic properties. 885-905
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/FriedmanT08a
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/FriedmanT08a
Sy-David Friedman, Katherine Thompson:
Perfect trees and elementary embeddings. 906-918
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/SorensenU08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/SorensenU08
Morten Heine Sørensen, Pawel Urzyczyn:
Strong cut-elimination in sequent calculus using Klop's iota-translation and perpetual reductions. 919-932
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Berger08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Berger08
Josef Berger:
The weak König lemma and uniform continuity. 933-939
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/HodkinsonH08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/HodkinsonH08
Ian M. Hodkinson, Altaf Hussain:
The modal logic of affine planes is not finitely axiomatisable. 940-952
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Jones08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Jones08
Albin L. Jones:
On a result of Szemerédi. 953-956
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Maalouf08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Maalouf08
Fares Maalouf:
Construction d'un groupe dans les structures C-minimales. 957-968
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/BaazI08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/BaazI08
Matthias Baaz, Rosalie Iemhoff:
On Skolemization in constructive theories. 969-998
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Franklin08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Franklin08
Johanna N. Y. Franklin:
Hyperimmune-free degrees and Schnorr triviality. 999-1008
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Lange08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Lange08
Karen Lange:
The degree spectra of homogeneous models. 1009-1028
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Moore08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Moore08
Justin Tatch Moore:
Aronszajn lines and the club filter. 1029-1035
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Halupczok08
- ask others
- 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
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Perron08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Perron08
Steven Perron:
Examining fragments of the quantified propositional calculus. 1051-1080
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Visser08
- ask others
- 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

- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Harris08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Harris08
Kenneth Harris:
eta-representation of sets and degrees. 1097-1121
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Severin08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Severin08
Daniel E. Severin:
Unary primitive recursive functions. 1122-1138
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Miller08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Miller08
Benjamin D. Miller:
Measurable chromatic numbers. 1139-1157
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/KastermansSZ08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/KastermansSZ08
Bart Kastermans, Juris Steprans, Yi Zhang:
Analytic and coanalytic families of almost disjoint functions. 1158-1172
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Malicki08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Malicki08
Maciej Malicki:
An example of a Polish group. 1173-1178
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Poizat08
- ask others
- 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
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Starosolski08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Starosolski08
Andrzej Starosolski:
P-hierarchy on beta omega. 1202-1214
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Johnstone08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Johnstone08
Thomas A. Johnstone:
Strongly unfoldable cardinals made indestructible. 1215-1248
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Swirydowicz08
- ask others
- 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
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Hjorth08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Hjorth08
Greg Hjorth:
Borel equivalence relations which are highly unfree. 1271-1277
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/TsabanZ08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/TsabanZ08
Boaz Tsaban, Lyubomyr Zdomskyy:
Combinatorial images of sets of reals and semifilter trichotomy. 1278-1288
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Milovich08
- ask others
- 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
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/CummingsF08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/CummingsF08
James Cummings, Sy-David Friedman:
on the singular cardinals. 1307-1314
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/McCarty08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/McCarty08
Charles McCarty:
Completeness and incompleteness for intuitionistic logic. 1315-1327
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/GaoO08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/GaoO08
Su Gao, Michael Ray Oliver:
Borel complexity of isomorphism between quotient Boolean algebras. 1328-1340
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Binns08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Binns08
Stephen Binns:
Pi⁰₁ classes with complex elements. 1341-1353
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/IshiharaS08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/IshiharaS08
Hajime Ishihara, Peter Schuster:
A continuity principle, a version of Baire's theorem and a boundedness principle. 1354-1360
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Sinapova08
- ask others
- 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
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Epstein08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/Epstein08
Rachel Epstein:
Prime models of computably enumerable degree. 1373-1388
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Pudlak08
- ask others
- 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
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/OmanadzeS08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/OmanadzeS08
Roland Sh. Omanadze, Andrea Sorbi:
A characterization of the Delta⁰₂ hyperhyperimmune sets. 1407-1415
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/DzamonjaP08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/DzamonjaP08
Mirna Dzamonja, Grzegorz Plebanek:
Strictly positive measures on Boolean algebras. 1416-1432
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/KurilicS08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsyml/KurilicS08
Milos S. Kurilic, Boris Sobot:
Power-collapsing games. 1433-1457

maintained by

at