default search action
The Journal of Symbolic Logic, Volume 70
Volume 70, Number 1, March 2005
- Michal Krynicki, Konrad Zdanowski
:
Theories of arithmetics in finite models. 1-28 - Marcus Tressl
Model completeness of o-minimal structures expanded by Dedekind cuts. 29-60 - Giovanni Panti
Generic substitutions. 61-83 - Clint J. van Alten
The finite model property for knotted extensions of propositional linear logic. 84-98 - Piotr Kowalski
Derivations of the Frobenius map. 99-110 - Russell Miller:
The computable dimension of trees of infinite height. 111-141 - Bektur Sembiuly Baizhanov, John T. Baldwin, Saharon Shelah
Subsets of superstable structures are weakly benign. 142-150 - Steffen Lempp, Charles F. D. McCoy, Russell G. Miller, Reed Solomon:
Computable categoricity of trees of finite height. 151-215 - Ziv Shami:
On Kueker simple theories. 216-222 - Balder ten Cate
Interpolation for extended modal languages. 223-234 - Evgueni Vassiliev:
On the weak non-finite cover property and the n-tuples of simple structures. 235-251 - Yue Yang, Liang Yu:
On the definable ideal generated by nonbounding c.e. degrees. 252-270 - A. J. Wilkie:
Fusing o-minimal structures. 271-281 - Lars Hansen:
On an algebra of lattice-valued logic. 282-318 - Alexander Raichev:
Relative randomness and real closed fields. 319-330 - Wesley Calvert
The isomorphism problem for computable Abelian p-groups of bounded length. 331-345 - Arnold W. Miller:
On relatively analytic and Borel subsets. 346-352
Volume 70, Number 2, June 2005
- J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss, Zhenghan Wang:
Quantum logic as motivated by quantum computing. 353-359 - Antonio Montalbán:
Up to equimorphism, hyperarithmetic is recursive. 360-378 - Bradd Hart, Ziv Shami:
On the type-definability of the binding group in simple theories. 379-388 - W. Charles Holland, Salma Kuhlmann, Stephen H. McCleary:
Lexicographic exponentiation of chains. 389-409 - Harvey Friedman, Chris Miller:
Expansions of o-minimal structures by fast sequences. 410-418 - Oleg Pikhurko, Oleg Verbitsky
Descriptive complexity of finite structures: Saving the quantifier rank. 419-450 - Dmitrij P. Skvortsov:
The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable. 451-459 - David Lippel:
Finitely axiomatizable ω-categorical theories and the Mazoyer hypothesis. 460-472 - Philipp Rothmaler:
Elementary epimorphisms. 473-487 - Jesper Carlström:
Interpreting descriptions in intensional type theory. 488-514 - André Nies
Randomness, relativization and Turing degrees. 515-535 - Katalin Bimbó:
The Church-Rosser property in symmetric combinatory logic. 536-556 - Andrés Eduardo Caicedo:
Projective well-orderings and bounded forcing axioms. 557-572 - Françoise Point:
Asymptotic theory of modules of separably closed fields. 573-592 - Y. Firat Çelikler:
Dimension theory and parameterized normalization for D-semianalytic sets over non-Archimedean fields. 593-618 - Jan Krajícek:
Structured pigeonhole principle, search problems and hard tautologies. 619-630 - Jonathan Kirby
A Schanuel condition for Weierstrass equations. 631-638 - Olivier Lessmann:
Upward categoricity from a successor cardinal for tame abstract classes with amalgamation. 639-660 - Jerry Gagelman:
A note on superstable groups. 661-663 - Françoise Delon:
Une fonction de Kolchin pour les corps imparfaits de degré d'imperfection fini. 664-680
Volume 70, Number 3, September 2005
- Spiros A. Argyros, Pandelis Dodos, Vassilis Kanellopoulos:
Tree structures associated to a family of functions. 681-695 - Johan van Benthem:
Minimal predicates, fixed-points, and definability. 696-712 - J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano
Canonical extensions and relational completeness of some substructural logics. 713-740 - S. Barry Cooper, Angsheng Li, Andrea Sorbi, Yue Yang:
Bounding and nonbounding minimal pairs in the enumeration degrees. 741-766 - John Krueger:
Strong compactness and stationary sets. 767-777 - Patrick Caldon, Aleksandar Ignjatovic:
On mathematical instrumentalism. 778-794 - Frank Wolter
A logic for metric and topology. 795-828 - Itay Ben-Yaacov:
Uncountable dense categoricity in cats. 829-860 - Till Tantau:
Weak cardinality theorems. 861-878 - Claire Kouwenhoven-Gentil, Jaap van Oosten:
Algebraic set theory and the effective topos. 879-890 - Verónica Becher
Random reals and possibly infinite computations Part I: Randomness in ∅'. 891-913 - Jakob Kellner
Preserving preservation. 914-945 - Trevor M. Wilson
A continuous movement version of the Banach - Tarski paradox: A solution to de Groot's Problem. 946-952 - Andrea Formisano
The axiom of elementary sets on the edge of Peircean expressibility. 953-968 - Laura Crosilla
On constructing completions. 969-978 - Greg Hjorth:
Bi-Borel reducibility of essentially countable Borel equivalence relations. 979-992 - David Gabelaia, Agi Kurucz
Products of 'transitive' modal logics. 993-1021 - Philip Ehrlich:
Corrigendum to "Number systems with simplicity hierarchies: A generalization of Conway's theory of surreal numbers". 1022 - Jonathan Kirby
Corrigendum to "A Schanuel Condition for Weierstrass Equations". 1023
Volume 70, Number 4, December 2005
- Herwig Nübling:
Reducts of stable, CM-trivial theories. 1025-1036 - Tetsuya Ishiu
Club guessing sequences and filters. 1037-1071 - Martin Lange, Carsten Lutz
2-ExpTime lower bounds for propositional dynamic logics with intersection. 1072-1086 - Klaus Aehlig:
Induction and inductive definitions in fragments of second order arithmetic. 1087-1107 - Francesco Paoli, Greg Restall
The geometry of non-distributive logics. 1108-1126 - John R. Steel:
Distinct iterable branches. 1127-1136 - Vladimir V. Rybakov
Logical consecutions in discrete linear temporal logic. 1137-1149 - Sergio Fratarcangeli:
Elimination of imaginaries in expansions of o-minimal structures by generic sets. 1150-1160 - Agatha Walczak-Typke:
The first-order structure of weakly Dedekind-finite sets. 1161-1170 - Dan E. Willard:
An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency. 1171-1209 - Dominique Lecomte:
ω-powers and descriptive set theory. 1210-1232 - Michael Rathjen:
The disjunction and related properties for constructive Zermelo-Fraenkel set theory. 1233-1254 - John R. Steel:
PFA implies ADL(ℝ). 1255-1296 - Mor Doron, Saharon Shelah
A dichotomy in classifying quantifiers for finite models. 1297-1324 - Christian Rosendal:
Cofinal families of Borel equivalence relations and quasiorders. 1325-1340 - Katarzyna Slomczynska:
Free spectra of linear equivalential algebras. 1341-1358 - Gregory L. Cherlin, Marko Djordjevic, Ehud Hrushovski:
A note on orthogonality and stable embeddedness. 1359-1364 - Frank Wagner:
Subsimple groups. 1365-1370
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 2025-01-02 18:02 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: