Volume 73, Number 1, March 2008
- Wim Veldman:
The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective.
1-64

- Tarek Sayed Ahmed, Hajnal Andréka, István Németi:
Omitting types for finite variable fragments and complete representations of algebras.
65-89

- Marcel Jackson:
Flat algebras and the translation of universal Horn logic to equational logic.
90-128

- Dietrich Kuske, Markus Lohrey:
First-order and counting theories of omega-automatic structures.
129-150

- Stefan Geschke, Saharon Shelah:
The number of openly generated Boolean algebras.
151-164

- Tapani Hyttinen, Olivier Lessmann:
Canonical bases in excellent classes.
165-180

- Hiroshi Sakai:
Semistationary and stationary reflection.
181-192

- James H. Schmerl:
Nondiversity in substructures.
193-211

- J. B. Paris, A. Sirokofskich:
On LP-models of arithmetic.
212-226

- Jan Krajícek:
An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams.
227-237

- Natasha Dobrinen:
kappa-stationary subsets of kappa +lambda, infinitary games, and distributive laws in Boolean algebras.
238-260

- J. Donald Monk:
Maximal irredundance and maximal ideal independence in Boolean algebras.
261-275

- Gunter Fuchs:
Closed maximality principles: implications, separations and combinations.
276-308

- Keng Meng Ng:
On very high degrees.
309-342

- Itay Neeman, Ernest Schimmerling:
Hierarchies of forcing axioms I.
343-362

- John D. Clemens:
Weakly pointed trees and partial injections.
363-368

Volume 73, Number 2, June 2008
- John R. Steel:
Scales in K(R) at the end of a weak gap.
369-390

- Sy-David Friedman, Philip D. Welch, W. Hugh Woodin:
On the consistency strength of the inner model hypothesis.
391-400

- Bernard A. Anderson:
Reals n-generic relative to some perfect tree.
401-411

- Itay Neeman:
Finite state automata and monadic definability of singular cardinals.
412-438

- Guillaume Valette:
On metric types that are definable in an o-minimal structure.
439-447

- Vincent Astier:
Special groups whose isometry relation is a finite union of cosets.
448-473

- James Gray:
Coding complete theories in Galois groups.
474-491

- Moti Gitik:
Some pathological examples of precipitous ideals.
492-511

- Natasha Dobrinen, Sy-David Friedman:
Internal consistency and global co-stationarity of the ground model.
512-521

- Itay Neeman:
Hierarchies of forcing axioms II.
522-542

- Sebastiaan Terwijn:
On the structure of the Medvedev lattice.
543-558

- George Barmpalias, Andrew E. M. Lewis, Mariya Ivanova Soskova:
Randomness, lowness and degrees.
559-577

- Leszek Aleksander Kolodziejczyk, Neil Thapen:
The polynomial and linear hierarchies in models where the weak pigeonhole principle fails.
578-592

- Bruno Durand, Leonid A. Levin, Alexander Shen:
Complex tilings.
593-613

- Gunter Fuchs, Joel David Hamkins:
Changing the heights of automorphism towers by forcing with Souslin trees over L.
614-633

- S. Barry Cooper, Mariya Ivanova Soskova:
How enumeration reducibility yields extended Harrington non-splitting.
634-655

- Alexei G. Myasnikov, Alexander Rybalov:
Generic complexity of undecidable problems.
656-673

- Luís Pereira:
The PCF conjecture and large cardinals.
674-688

- Chris Impens, Sam Sanders:
Transfer and a supremum principle for ERNA.
689-710

- Miroslav Repický:
Cardinal invariants and the collapse of the continuum by Sacks forcing.
711-727

Volume 73, Number 3, September 2008
- Pierre Matet:
Weak square bracket relations for Pkappa (lambda).
729-751

- Hiroaki Minami:
Suslin forcing and parametrized diamond principles.
752-764

- John T. Baldwin, Saharon Shelah:
Examples of non-locality.
765-782

- Alexander Rabinovich, Amit Shomrat:
Selection in the monadic theory of a countable ordinal.
783-816

- Juliette Kennedy, Saharon Shelah, Jouko A. Väänänen:
Regular ultrafilters and finite square principles.
817-823

- Fredrik Engström:
A note on standard systems and ultrafilters.
824-830

- Sy-David Friedman, Katherine Thompson:
Internal consistency for embedding complexity.
831-844

- Victoria Gitman:
Scott's problem for Proper Scott sets.
845-860

- Markus Junker, Martin Ziegler:
The 116 reducts of (Q, <, a).
861-884

- Chris J. Conidis:
Classifying model-theoretic properties.
885-905

- Sy-David Friedman, Katherine Thompson:
Perfect trees and elementary embeddings.
906-918

- Morten Heine Sørensen, Pawel Urzyczyn:
Strong cut-elimination in sequent calculus using Klop's iota-translation and perpetual reductions.
919-932

- Josef Berger:
The weak König lemma and uniform continuity.
933-939

- Ian Hodkinson, Altaf Hussain:
The modal logic of affine planes is not finitely axiomatisable.
940-952

- Albin L. Jones:
On a result of Szemerédi.
953-956

- Fares Maalouf:
Construction d'un groupe dans les structures C-minimales.
957-968

- Matthias Baaz, Rosalie Iemhoff:
On Skolemization in constructive theories.
969-998

- Johanna N. Y. Franklin:
Hyperimmune-free degrees and Schnorr triviality.
999-1008

- Karen Lange:
The degree spectra of homogeneous models.
1009-1028

- Justin Tatch Moore:
Aronszajn lines and the club filter.
1029-1035

- Immanuel Halupczok:
Motives for perfect PAC fields with pro-cyclic Galois group.
1036-1050

- Steven Perron:
Examining fragments of the quantified propositional calculus.
1051-1080

- Albert Visser:
Closed fragments of provability logics of constructive theories.
1081-1096

Volume 73, Number 4, December 2008
- Kenneth Harris:
eta-representation of sets and degrees.
1097-1121

- Daniel E. Severin:
Unary primitive recursive functions.
1122-1138

- Benjamin D. Miller:
Measurable chromatic numbers.
1139-1157

- Bart Kastermans, Juris Steprans, Yi Zhang:
Analytic and coanalytic families of almost disjoint functions.
1158-1172

- Maciej Malicki:
An example of a Polish group.
1173-1178

- 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

- Andrzej Starosolski:
P-hierarchy on beta omega.
1202-1214

- Thomas A. Johnstone:
Strongly unfoldable cardinals made indestructible.
1215-1248

- 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

- Greg Hjorth:
Borel equivalence relations which are highly unfree.
1271-1277

- Boaz Tsaban, Lyubomyr Zdomskyy:
Combinatorial images of sets of reals and semifilter trichotomy.
1278-1288

- David Milovich:
Splitting families and the Noetherian type of beta omega \\ omega.
1289-1306

- James Cummings, Sy-David Friedman:
on the singular cardinals.
1307-1314

- Charles McCarty:
Completeness and incompleteness for intuitionistic logic.
1315-1327

- Su Gao, Michael Ray Oliver:
Borel complexity of isomorphism between quotient Boolean algebras.
1328-1340

- Stephen Binns:
Pi01 classes with complex elements.
1341-1353

- Hajime Ishihara, Peter Schuster:
A continuity principle, a version of Baire's theorem and a boundedness principle.
1354-1360

- Dima Sinapova:
A model for a very good scale and a bad scale.
1361-1372

- Rachel Epstein:
Prime models of computably enumerable degree.
1373-1388

- Pavel Pudlák:
Fragments of bounded arithmetic and the lengths of proofs.
1389-1406

- Roland Sh. Omanadze, Andrea Sorbi:
A characterization of the Delta02 hyperhyperimmune sets.
1407-1415

- Mirna Dzamonja, Grzegorz Plebanek:
Strictly positive measures on Boolean algebras.
1416-1432

- Milos S. Kurilic, Boris Sobot:
Power-collapsing games.
1433-1457

Last update Sat May 25 20:47:15 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page