default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 71
Volume 71, Number 1, March 2006
- Alf Onshuus
:
Properties and consequences of Thorn-independence. 1-21 - Jörg Brendle, Shuguo Zhang:
Converse dual cardinals. 22-34 - Ross T. Brady:
Normalized natural deduction systems for some relevant logics I: The logic DW. 35-66 - Peter Aczel, Nicola Gambino:
The generalised type-theoretic interpretation of constructive set theory. 67-103 - Saharon Shelah, Gábor Sági:
On weak and strong interpolation in algebraic logics. 104-118 - Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman, Reed Solomon:
On a conjecture of Dobrinen and Simpson concerning almost everywhere domination. 119-136 - Giangiacomo Gerla:
Effectiveness and multivalued logics. 137-162 - Robert Goldblatt, Edwin D. Mares:
An alternative semantics for quantified relevant logic. 163-187 - Juha Kontinen:
The hierarchy theorem for second order generalized quantifiers. 188-202 - Ermek S. Nurkhaidarov:
Automorphism groups of arithmetically saturated models. 203-216 - Kosta Dosen, Zoran Petric:
Associativity as commutativity. 217-226 - Thomas Forster:
Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF. 227-240 - Ralf Schindler:
Iterates of the core model. 241-251 - Guohua Wu:
Jump operator and Yates degrees. 252-264 - Asger Törnquist:
Orbit equivalence and actions of 픽n. 265-282 - Wesley Calvert, Julia F. Knight, Jessica Millar:
Computable trees of Scott rank ω1CK, and computable approximation. 283-298 - James Cheney:
Completeness and Herbrand theorems for nominal logic. 299-320 - Mihai Prunescu:
Structure with fast elimination of quantifiers. 321-328 - Fernando Ferreira, Ana Nunes:
Bounded modified realizability. 329-346 - Assaf Peretz:
Geometry of forking in simple theories. 347-359
Volume 71, Number 2, June 2006
- Assaf Hasson, Martin Hils:
Fusion over sublanguages. 361-398 - Douglas A. Cenzer, Jeffrey B. Remmel:
Complexity, decidability and completeness. 399-424 - Itay Neeman:
Determinacy for games ending at the first admissible relative to the play. 425-459 - Anand Pillay, Dominika Polkowska:
On PAC and bounded substructures of a stable structure. 460-472 - Matteo Viale:
The proper forcing axiom and the singular cardinal hypothesis. 473-479 - Sy-David Friedman, Peter Koepke, Boris Piwinger:
Hyperfine structure theory and gap 1 morasses. 480-490 - Silvio Valentini:
Every countably presented formal topology is spatial, classically. 491-500 - Richard Beigel, Harry Buhrman, Peter A. Fejer, Lance Fortnow, Piotr Grabowski, Luc Longpré, Andrej Muchnik, Frank Stephan, Leen Torenvliet:
Enumerations of the Kolmogorov function. 501-528 - Matthias Aschenbrenner, Rahim Moosa, Thomas Scanlon:
Strongly minimal groups in the theory of compact complex spaces. 529-552 - Rami P. Grossberg, Monica Van Dieren:
Shelah's categoricity conjecture from a successor for tame abstract elementary classes. 553-568 - Dale Radin:
Morley degree in unidimensional compact complex spaces. 569-585 - Étienne Matheron, Slawomir Solecki, Miroslav Zelený:
Trichotomies for ideals of compact sets. 586-598 - Eric Jaligot:
Generix never gives up. 599-610 - Bas Spitters:
A constructive view on ergodic theorems. 611-623 - Leszek Aleksander Kolodziejczyk:
On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories. 624-638 - Nicolas Guzy:
0-D-valued fields. 639-660 - Neil Tennant:
On the degeneracy of the full AGM-theory of theory-revision. 661-676 - Volker Halbach, Leon Horsten:
Axiomatizing Kripke's Theory of Truth. 677-712 - Josef Berger, Douglas S. Bridges, Peter Schuster:
The fan theorem and unique existence of maxima. 713-720
Volume 71, Number 3, September 2006
- Dieter Probst:
The proof-theoretic analysis of transfinitely iterated quasi least fixed points. 721-746 - James Tyne:
T-height in weakly o-minimal structures. 747-762 - Itay Ben-Yaacov:
On supersimplicity and lovely pairs of cats. 763-776 - Noriko H. Arai, Toniann Pitassi, Alasdair Urquhart:
The complexity of analytic tableaux. 777-790 - David Marker:
A remark on Zilber's pseudoexponentiation. 791-798 - Maria da Paz N. Medeiros:
A new S4 classical modal logic in natural deduction. 799-809 - Marko Djordjevic:
Finite satisfiability and ℵ0-categorical structures with trivial dependence. 810-830 - Ehud Hrushovski, A. Tatarsky:
Stable embeddedness in algebraically closed valued fields. 831-862 - Petr Cintula, Petr Hájek:
On theories and models in fuzzy predicate logics. 863-880 - Andrzej Roslanowski:
n - localization property. 881-902 - James G. Raftery:
Correspondences between Gentzen and Hilbert systems. 903-957 - Liang Yu:
Measure theory aspects of locally countable orderings. 958-968 - Bruno Poizat:
Univers positifs. 969-976 - Itay Neeman, John R. Steel:
Counterexamples to the unique and cofinal branches hypotheses. 977-988 - David Fernández-Duque:
A polynomial translation of S4 into intuitionistic logic. 989-1001 - Razvan Diaconescu, Marius Petria:
Abstract Beth definability in institutions. 1002-1028 - Natasha Dobrinen, Sy-David Friedman:
Co-stationarity of the ground model. 1029-1043 - Rod Downey, André Nies, Rebecca Weber, Liang Yu:
Lowness and Π20 nullsets. 1044-1052 - Boaz Tsaban, Lyubomyr Zdomskyy:
Menger's covering property and groupwise density. 1053-1056 - Peter Cholak, Noam Greenberg, Joseph S. Miller:
Uniform almost everywhere domination. 1057-1072 - Murray Bell, Witold Marciszewski:
Universal spaces for classes of scattered Eberlein compact spaces. 1073-1080
Volume 71, Number 4, December 2006
- Longyun Ding, Su Gao:
Diagonal actions and Borel equivalence relations. 1081-1096 - M. Marshall:
Local-global properties of positive primitive formulas in the theory of spaces of orderings. 1097-1107 - Alex Thompson:
A metamathematical condition equivalent to the existence of a complete left invariant metric for a Polish group. 1108-1124 - Matthew Giorgi, Andrea Sorbi, Yue Yang:
Properly Σ02 enumeration degrees and the high/low hierarchy. 1125-1144 - Ralf Schindler:
Core models in the presence of Woodin cardinals. 1145-1154 - Toshiyasu Arai:
Epsilon substitution method for Π02-FIX. 1155-1188 - Dan E. Willard:
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency. 1189-1199 - Dorella Bellè, Franco Parlamento:
Truth in V for ∃*∀∀-sentences is decidable. 1200-1222 - Yue Yang, Liang Yu:
On Σ1-structural differences among finite levels of the Ershov hierarchy. 1223-1236 - Markus Michelbrink:
A Buchholz derivation system for the ordinal analysis of KP+Π3-reflection. 1237-1283 - Thomas F. Kent:
The Π3-theory of the Σ02-enumeration degrees is undecidable. 1284-1302 - Andreas Liu:
Bounds for covering numbers. 1303-1310 - Albert Visser:
Predicate logics of constructive arithmetical theories. 1311-1326 - William C. Calhoun:
Degrees of monotone complexity. 1327-1341 - Albin L. Jones:
A polarized partition relation for weakly compact cardinals using elementary substructures. 1342-1352 - Nikolaos Galatos, Hiroakira Ono:
Glivenko theorems for substructural logics over FL. 1353-1384 - Barbara F. Csima, Rod Downey, Noam Greenberg, Denis R. Hirschfeldt, Joseph S. Miller:
Every 1-generic computes a properly 1-generic. 1385-1393 - Barbara F. Csima, Robert I. Soare:
Computability results used in differential geometry. 1394-1410 - Verónica Becher, Santiago Figueira, Serge Grigorieff, Joseph S. Miller:
Randomness and halting probabilities. 1411-1430 - Bas Spitters:
Corrigendum to: 'A constructive view on ergodic theorems'. 1431-1432
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-10-30 20:20 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:
