Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 68
Volume 68, Number 1, March 2003
- Thomas Forster:
ZF + 'Every set is the same size as a wellfounded set'. 1-4 - Andreas Weiermann:
An application of graphical enumeration to PA*. 5-16 - Lev D. Beklemishev:
On the induction schema for decidable predicates. 17-34 - Roman Wencel:
Definable sets in Boolean ordered o-minimal structures. II. 35-51 - Shamil Ishmukhametov:
On a problem of Cooper and Epstein. 52-64 - Andreas Blass, Yuri Gurevich:
Strong extension axioms and Shelah's zero-one law for choiceless polynomial time. 65-131 - Katalin Bimbó:
The Church-Rosser property in dual combinatory logic. 132-152 - Raf Cluckers
:
Presburger sets and p-minimal fields. 153-162 - Mamoru Kaneko, Nobu-Yuki Suzuki:
Epistemic models of shallow depths and decision making in games: Horticulture. 163-186 - Jacques Duparc:
The Steel hierarchy of ordinal valued Borel mappings. 187-234 - Pierre Matet, Janusz Pawlikowski:
Q-pointness, P-pointness and feebleness of ideals. 235-261 - Panu Raatikainen:
Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories. 262-266 - Steven Givant:
Inequivalent representations of geometric relation algebras. 267-310 - Martin Ziegler:
Separably closed fields with Hasse derivations. 311-318 - Michael Benedikt, H. Jerome Keisler:
Definability with a predicate for a semi-linear set. 319-351
Volume 68, Number 2, June 2003
- Pascal Koiran:
The theory of Liouville functions. 353-365 - Mirna Dzamonja, Saharon Shelah:
Universal graphs at the successor of a singular cardinal. 366-388 - M. C. Stanley:
Outer models and genericity. 389-418 - George Goguadze, Carla Piazza, Yde Venema:
Simulating polyadic modal logics by monadic ones. 419-462 - Patrick Blackburn, Maarten Marx:
Constructive interpolation in hybrid logic. 463-480 - William J. Mitchell:
A Gitik iteration with nearly Easton factoring. 481-502 - Lou van den Dries, A. J. Wilkie:
The laws of integer divisibility, and solution sets of linear divisibility conditions. 503-526 - Joel David Hamkins:
A simple maximality principle. 527-550 - Rodney G. Downey, Geoffrey LaForte, Richard A. Shore:
Decomposition and infima in the computably enumerable degrees. 551-579 - Sy D. Friedman, Tapani Hyttinen, Mika Rautila:
Classification theory and 0#. 580-588 - Yasuo Yoshinobu:
Approachability and games on posets. 589-606 - Yde Venema:
Atomless varieties. 607-614 - Donald A. Martin, Itay Neeman, Marco Vervoort:
The strength of Blackwell determinacy. 615-636 - James Cummings, Matthew Foreman, Menachem Magidor:
The non-compactness of square. 637-643 - Thomas Blossier:
Automorphism groups of trivial strongly minimal structures. 644-668 - Arthur W. Apter, Joel David Hamkins:
Exactly controlling the non-supercompact strongly compact cardinals. 669-688 - Philip D. Welch:
On revision operators. 689-711
Volume 68, Number 3, September 2003
- Oliver Deiser, Dieter Donder:
Canonical functions, non-regular ultrafilters and Ulam's problem on omega1. 713-739 - Kosta Dosen, Zoran Petric:
Generality of proofs and its Brauerian representation. 740-750 - William W. Tait:
The completeness of Heyting first-order logic. 751-763 - Christopher Barney:
Ultrafilters on the natural numbers. 764-784 - Alessandro Berarducci, Margarita Otero:
Transfer methods for o-minimal topology. 785-794 - Douglas S. Bridges, Luminita Vîta:
A proof-technique in uniform space theory. 795-802 - John T. Baldwin:
Expansions of geometries. 803-827 - Roland Hinnion, Thierry Libert:
Positive abstraction and extensionality. 828-836 - John Krueger:
Fat sets and saturated ideals. 837-845 - Itay Ben-Yaacov:
Discouraging results for ultraimaginary independence theory. 846-850 - Koji Nakazawa, Makoto Tatsuta:
Strong normalization proof with CPS-translation for second order classical natural deduction. 851-859 - Alexandra Shlapentokh:
Existential definability with bounds on archimedean valuations. 860-878 - Thomas E. Forster, John Kenneth Truss:
Non-well-foundedness of well-orderable power sets. 879-884 - George Barmpalias:
The approximation structure of a computably approximable real. 885-922 - David Pierce:
Differential forms in the model theory of differential fields. 923-945 - Max A. Dickmann, Francisco Miraglia:
Elementary properties of the Boolean hull and reduced quotient functors. 946-971 - Yong Wang, Angsheng Li:
A hierarchy for the plus cupping Turing degrees. 972-988 - Antonio Montalbán:
Embedding jump upper semilattices into the Turing degrees. 989-1014 - Joan Rand Moschovakis:
Classical and constructive hierarchies in extended intuitionistic analysis. 1015-1043 - Peter Cholak, Leo Harrington:
Isomorphisms of splits of computably enumerable sets. 1044-1064
Volume 68, Number 4, December 2003
- Sy D. Friedman, Ralf Schindler:
Universally Baire sets and definable well-orderings of the reals. 1065-1081 - Chris Pollett:
A theory for Log-Space and NLIN versus coNLIN. 1082-1090 - Andrea Cantini:
The axiom of choice and combinatory logic. 1091-1108 - Timothy J. Carlson:
Ranked partial structures. 1109-1144 - Alexander Berenstein:
Simple stable homogeneous groups. 1145-1162 - Sy D. Friedman:
Cardinal-preserving extensions. 1163-1170 - James H. Schmerl:
Partitioning large vector spaces. 1171-1180 - Michael C. Laskowski:
An application of Kochen's theorem. 1181-1188 - M. Giraudet, John Kenneth Truss:
Recovering ordered structures from quotients of their automorphism groups. 1189-1198 - Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore:
A computably categorical structure whose expansion by a constant has infinite computable dimension. 1199-1241 - Pavel Pudlák:
Parallel strategies. 1242-1250 - Thomas Forster:
Finite-to-one maps. 1251-1253 - Tomek Bartoszynski, Saharon Shelah, Boaz Tsaban:
Additivity properties of topological diagonalizations. 1254-1260 - Teruyuki Yorioka:
Distinguishing types of gaps in (omega)/fin. 1261-1276 - René David, Karim Nour:
A short proof of the strong normalization of classical natural deduction with disjunction. 1277-1288 - Gilles Dowek, Benjamin Werner:
Proof normalization modulo. 1289-1316 - Olivier Lessmann:
Categoricity and U-rank in excellent classes. 1317-1336 - Salvador García Ferreira, Michael Hrusák:
Ordering MAD families a la Katetov. 1337-1353 - Jörg Brendle, Maria Losada:
The cofinality of the infinite symmetric group and groupwise density. 1354-1361 - Wolfgang Merkle:
The Kolmogorov-Loveland stochastic sequences are not closed under selecting subsequences. 1362-1376 - Anand Pillay:
On countable simple unidimensional theories. 1377-1384 - David M. Evans:
Ample dividing. 1385-1402 - Hirohiko Kushida, Mitsu Okada:
A proof-theoretic study of the correspondence of classical logic and modal logic. 1403-1414 - Koji Nakazawa, Makoto Tatsuta:
Corrigendum to "Strong normalization proof with CPS-translation for second order classical natural deduction". 1415-1416
a service of 
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-04-19 19:19 CEST 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:
