The Journal of Symbolic Logic 1998: Vol 63 Table of Contents

7 Pages·1998·1.3 MB·English

THE
JOURNAL
OF
SYMBOLIC LOGIC
EDITED BY
HowaARD S. BECKER GERHARD JAGER MICHAEL RATHJEN
HERBERT B. ENDERTON STEFFEN LEMPP PHILIP SCOWCROFT
MATTHEW FOREMAN PENELOPE MADDY LOU VAN DEN DRIES
NEIL IMMERMAN DaviD MARKER MICHIEL VAN LAMBALGEN
WILLIAM J. MITCHELL
VOLUME 63
1998
PUBLISHED QUARTERLY BY THE ASSOCIATION FOR SYMBOLIC LOGIC, INC.
WITH SUPPORT FROM INSTITUTIONAL AND CORPORATE MEMBERS
The four numbers of Volume 63 were issued at the following dates:
Number 1, pages 1-336, March 6, 1998
Number 2, pages 337-752, June 4, 1998
Number 3, pages 753-1200, September 23, 1998
Number 4, pages 1201-1624, December 4, 1998
Numbers 1—4 of this volume are copyrighted ©1998 by the Association for Symbolic Logic, Inc.
Reproduction of copyrighted numbers of the JouRNAL by photostat, photoprint, microfilm, or
like process is forbidden, except by written permission, to be obtained from the Secretary of the
Association, C. Ward Henson, Department of Mathematics, University of Illinois, 1409 W. Green
St., Urbana, IL 61801.
The paper used in this JOURNAL is acid-free and falls within the guidelines established to ensure
permanence and durability.
This JOURNAL has been registered with the Copyright Clearance Center, Inc. The appearance of
a code at the bottom of the first page of an article indicates the copyright owner’s consent for
copying beyond that permitted by Sections 107 or 108 of the U. S. Copyright Law, provided that the
per-copy fee stated in the code is paid directly to Copyright Clearance Center, Inc., 222 Rosewood
Drive, Danvers, MA 01923. This consent does not extend to copying for general distribution, for
advertising or promotion purposes, for creating new collective works, or for resale. Specific written
permission for such copying must be obtained from the Association.
CONTENTS OF VOLUME 63
RESEARCH ARTICLES
ANDREKA, HAJNAL, GOLDBLATT, ROBERT and Németi, IstvAN. Relativised
quantification: Some canonical varieties of sequence-set algebras
ANTONELLI, GIAN ALDO. Extensional quotients for type theory and the con-
sistency problem for NF
APTER, ARTHUR W. Laver indestructibility and the class of compact cardinals 149
APTER, ARTHUR W. and GiTik, Moti. The least measurable can be strongly
compact and indestructible
ARal, TOSHIYASU. Variations on a theme by Weiermann
ARSLANOV, Marat M., LAForte, GEOFFREY L. and SLAMAN, THEODORE A.
Relative enumerability in the difference hierarchy
Avron, A. Multiplicative conjunction and an algebraic meaning of contrac-
tion and weakening
BAISALOV, YERZHAN and PoizaT, BRUNO. Paires de structures O-minimales .
BALCERZAK, MAREK, ROSLANOWSKI, ANDRZEJ and SHELAH, SAHARON. Ideals
without ccc
BALDWIN, JOHN T. and SHELAH, SAHARON. DOP and FCP in generic structures
BALLARD, Davib and BosHUCK, WILLIAM. Definability and descent
BARENDREGT, HENK. See DEKKERS, WIL.
Bays, TIMOTHY. Some two-cardinal results for O-minimal theories
BELEGRADEK, OLEG V. On minimal structures
BENEDIKT, MICHAEL. Ultrafilters which extend measures
BERARDI, STEFANO, BEZEM, MARC and COQUAND, THIERRY. On the computa-
tional content of the axiom of choice
Bés, ALEXIS and RICHARD, Denis. Undecidable extensions of Skolem arith-
BezeEM, Marc. See BERARDI, STEFANO.
BIGELOW, STEPHEN. Supplements of bounded permutation groups
BLuTE, R. F. and Scott, P. J. The shuffle Hopf algebra and noncommutative
full completeness
Borra, M. More on an undecidability result of Bateman, Jockusch and Woods
BOSHUCK, WILLIAM. See BALLARD, DavID.
BRIDGES, DoUGLAs and Mings, Ray. Sequentially continuous linear mappings
in constructive analysis
BUNDER, MartTIN. See DEKKERS, WIL.
CHIARI, MARIO and KrasiceK, JAN. Witnessing functions in bounded arith-
metic and search problems
CHONG, C. T. and YANG, YUE. 2 induction and infinite injury priority
argument, Part I: maximal sets and the jump operator
COQUAND, THIERRY. See BERARDI, STEFANO.
CUNNINGHAM, DaNIEL W. The fine structure of real mice
D’ Aquino, PAoLa. Solving Pell equations locally in models of J Ap
Deponis, MARK J. and NesIn, ALI. There are 2*° many almost strongly
minimal generalized n-gons that do not interpret an infinite group
DeKKERS, WIL, BUNDER, MARTIN and BARENDREGT, HENK. Completeness of
the propositions-as-types interpretation of intuitionistic logic into illative
combinatory logic
DELON, FRANCOISE and SIMONETTA, PATRICK. Undecidable wreath products
and skew power series fields
Di Nasso, Mauro. Pseudo-superstructures as nonstandard universes
E!TeR, THOMAS and GoTTLos, GEorG. On the expressiveness of frame satisfi-
ability and fragments of second-order logic
FELDMAN, NorMAN. The cylindric algebras of three-valued logic
Foucue, W. L. and Potateter, P. H. Kolmogorov complexity and symmetric
relational structures
FRIEDMAN, Sy D. Generic saturation
Gao, Su. On automorphism groups of countable structures
GiTik, Moti. See APTER, ARTHUR W.
GOLDBLATT, ROBERT. See ANDREKA, HAJNAL.
GoTTLos, GeorG. See EITER, THOMAS.
HAMKINS, JoeL Davip. Small forcing makes any cardinal superdestructible . 51
HAMKINS, JoeL Davip and SHELAH, SAHARON. Superdestructibility: A dual to
Laver’s indestructibility
HARRINGTON, LEO and Soare, Rosert I. Codable sets and orbits of com-
putably enumerable sets
HASKELL, DEIRDRE and MACPHERSON, DUGALD. A note on valuation definable
expansions of fields
HyortH, Grea. An absoluteness principle for Borel sets
HurkKeEns, A. J. C., MCARTHUR, MONICA, MOSCHOVAKIS, YIANNIS N., Moss,
LAWRENCE S. and WHITNEY, GLEN T. The logic of recursive equations ....
JIN, RENLING and SHELAH, SAHARON. Compactness of Loeb spaces
KEISLER, H. JEROME. Quantifier elimination for neocompact sets
KERTH, RAINER. The interpretation of unsolvable A-terms in models of un-
typed A-calculus
KiM, BYUNGHAN. A note on Lascar strong types in simple theories
KoePKE, PETER. Extenders, embedding normal forms, and the Martin-Steel-
theorem
KORNER, FRIEDERIKE. Automorphisms moving all non-algebraic points and
an application to NF
KOHLENBACH, ULRICH. Relative constructivity
KOSZMIDER, PioTR. On the existence of strong chains in g(@,)/ Fin
KRaJiceK, JAN. Discretely ordered modules as a first-order extension of the
cutting planes proof system
. See CHIARI, MARIO.
KULPESHOV, B. SH. Weakly o-minimal structures and some of their properties 1511
LACHLAN, ALISTAIR H. and SoArRE, Rosert I. Models of arithmetic and sub-
uniform bounds for the arithmetic sets
LAFLAMME, CLAUDE and ZHU, JIAN-PING. The Rudin-Blass ordering of ultra-
filters
LAFortTE, GEOFFREY L. See ARSLANOV, MARAT M.
LANGHOLM, Tore. A strong version of Herbrand’s theorem for introvert
sentences
Lewis, ANDy. Large cardinals and large dilators
Li, ANGSHENG and YANG, DONGPING. Bounding minimal degrees by com-
putably enumerable degrees
LIFSCHES, SHMUEL and SHELAH, SAHARON. Uniformization and Skolem func-
Lurie, Jacos. The effective content of surreal algebra
MacCauLL, WENDY. Relational semantics and a relational proof system for
full Lambek calculus
MACPHERSON, DUGALD. See HASKELL, DEIRDRE.
MarTIN, DONALD A. The determinacy of Blackwell games
Marx, MAARTEN. Amalgamation in relation algebras
MartET, P. and PAWLIKOwWSKI, J. Ideals over m and cardinal invariants of the
continuum
MaTsuBARA, YO and SHIOYA, MASAHIRO. Nowhere precipitousness of some
MCALLISTER, ALEX M. Completions of PA: Models and enumerations of
representable sets
McArrtuur, Monica. See HurKENs, A. J. C.
MILDENBERGER, HEIKE. Changing cardinal invariants of the reals without
changing cardinals or the reals
MILLER, ARNOLD W. and STEPRANS, JuRIS. Orthogonal families of real se-
quences
Mines, Ray. See BRIDGES, DOUGLAS.
MITCHELL, WILLIAM J. The complexity of the core model
MorGaN, CHARLES. Higher gap morasses, Ia: Gap-two morasses and con-
densation
MOSCEOVAKIS, YIANNIS N. See HURKENS, A. J. C.
Moss, LAWRENCE S. See HuRKENS, A. J. C.
NeémeTI, IStVAN. See ANDREKA, HAJNAL.
NEsIN, ALI. See DEBONIS, MARK J.
NowiIk, ANDREJ, SCHEEPERS, MARION and WEIss, TOMASZ. The algebraic sum
of sets of real numbers with strong measure zero sets
OUWEHAND, P. and Rose, H. Filtral powers of structures
Paris, J. and VENCOvsKA, A. Proof systems for probabilistic uncertain reason-
ing
PAWLIKOWSKI, J. See MATET, P.
PiLtay, ANAND. Definability and definable groups in simple theories
PoIzAT, BRUNO. See BAISALOV, YERZHAN.
POLACIK, TOMASZ. Propositional quantification in the monadic fragment of
intuitionistic logic
PotaGieTER, P. H. See Foucue, W. L.
PresT, MIKE. The representation theories of elementarily equivalent rings .. 439
RATHJEN, MICHAEL. Explicit mathematics with the monotone fixed point
principle
RICHARD, Denis. See Bés, ALEXIS.
Rosinson, Z. See Lipsuitz, L.
RODENBURG, P. H. Termination and confluence in infinitary term rewriting . 1286
Rose, H. See OUWEHAND, P.
ROSLANOWSKI, ANDRZEJ. See BALCERZAK, MAREK.
SCHEEPERS, MARION. See NOWIK, ANDREI.
SCHILLING, KENNETH. Vanishing Borel sets 262
SCHLATTER, MARK D. A many permutation group result for unstable theories 694
Scorr, P. J. See BLuTe, R. F.
SHELAH, SAHARON. See BALCERZAK, MAREK.
. See BALDWIN, JOHN T.
————.. See HAamMKins, JoeL Davin.
———.. See Jin, RENLING.
———.. See LirscHEs, SHMUEL.
SHIOYA, MASAHIRO. See MATSUBARA, YO.
SIMONETTA, PATRICK. Equivalence elementaire et decidabilite pour des struc-
tures du type groupe agissant sur un groupe abelien
. See DELON, FRANCOISE.
SLAMAN, THEODORE A. See ARSLANOV, MARAT M.
SOARE, Ropert I. See HARRINGTON, LEO.
. See LACHLAN, ALISTAIR H.
SPREEN, DieETER. On effective topological spaces
STANLEY, M. C. Invisible genericity and 0*
STEPRANS, JuRIS. See MILLER, ARNOLD W.
TAKEUTI, Galisi. Frege proof system and TNC®
TAKEUTI, GaIsi and YASUMOTO, MASAHIRO. Forcing on bounded arithmetic
VAN DEN Dries, Lou. Correction to “7-convexity and tame extensions II” .. 1597
VENEMA, YDE. Rectangular games
VeNcovskA, A. See Paris, J.
VILLAVECES, ANDRES. Chains of end elementary extensions of models of set
theory
WAGNER, FRANK O. Small fields
. CM -triviality and stable groups
WEIERMANN, ANDREAS. How is it that infinitary methods can be applied to
finitary mathematics? Gédel’s T: a case study
Weiss, TOMASZ. See NowIk, ANDRE).
WHuiTney, GLEN T. See HurKENsS, A. J. C.
YANG, YUE. See CHONG, C. T.
YANG, DONGPING. See L1, ANGSHENG.
YASUMOTO, MASAHIRO. See TAKEUTI, GAISI.
ZAMBELLA, DOMENICO. Foundation versus induction in Kripke-Platek set
theory
ZAPLETAL, JINDRICH. Preserving a-ideals
ZHU, JIAN-PING. See LAFLAMME, CLAUDE.
REVIEWS
Reviews
Reviews
Reviews
Reviews