default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 73
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 - Jeff B. Paris, Alla 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 N. 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 M. 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 M. 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. Severín:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-02 21:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
