The Journal of Symbolic Logic 1991: Vol 56 Table of Contents

5 Pages·1991·0.88 MB·English

CONTENTS OF VOLUME 56
SURVEY PAPERS
FEFERMAN, SOLOMON. Reflecting on incompleteness ............. 1
HERRE, HEINRICH, KRYNICKI, MICHAL, PINUS, ALEXANDR, and VAANANEN,
Jouxo. The Hartig quantifier: asurvey.........22s60c008s 1153
KRYNICKI, MICHAL. See HERRE, HEINRICH
MrntTs, GriGori. Proof theory in the USSR 1925-1969 ........... 385
Prysus, ALEXANDR. See HERRE, HEINRICH
VAANANEN, JoUKO. See HERRE, HEINRICH
RESEARCH PAPERS
ABRuSCI, V. MICHELE. Phase semantics and sequent calculus for pure noncom-
mutative classical linear propositional logic. .............. 1403
ADAMOwWICZ, ZOFIA. On maximal theories ............20+82ee0. 885
ADLEMAN, LEONARD M. and Bum, M. Inductive inference and unsolva-
MI csi tae iene Far ecto ee ar cae et ee aie hie pe coe ee 891
AGUZAROY, I., FAREY, R. E., and Goong, J. B. An infinite superstable group
has infinitely many conjugacy classes ................4.4. 618
AHMAD, SEEMA. Embedding the diamond in the £) enumeration degrees. . . 195
ANDRETTA, ALESSANDRO. Building iteration trees .............. 1369
AsH, C. J. A construction for recursive linear orderings ........... 673
AVRON, ARNON. Natural 3-valued logics—characterization and proof
IS Shine ei 2 aha ee te we ie Ge Ne Se ee eS 276
BALOGH, Z. and GRUENHAGE, G. On a problem of C. H. Dowker ...... 1284
BANKSTON, PAUL. Corrigendum to “Taxonomies of model-theoretically
deGned topological properties” . ww tt tt tw es 425
BAUDISCH, ANDREAS. A construction of superstable ndop-notop groups ... 1385
BAUMGARTNER, JAMES E. and SprnAs, OTMAR. Independence and consistency
proofs in. quadratic form: theory... 6 0c tt ee wee e es 1195
BELAIR, Luc. Anneaux p-adiquement clos et anneaux de fonctions définis-
aes hg i -phthk te tity ee by & a avi ee eee 539
and DureET, JEAN-Louis. Définissabilité dans les corps de fonctions
IN x. Se ade ecole, au ge ah Mra Fee. oa) HER ee Oe ag kw 8 783
Bium, M. See ADLEMAN, LEONARD M.
BONNET, ROBERT and RUBIN, MATATYAHU. Elementary embedding between
CRS EE, 5. sss es on See es ses 1212
BOUGHATTAS, SEDKI. L/’arithmétique ouverte et ses modéles non-
IIE wee Br es wale ee aes |. <a ae Se MARE e & 700
BRENDLE, JORG. Larger cardinals in Cichon’s diagram ............ 795
BUECHLER, STEVEN. Pseudoprojective strongly minimal sets are locally
SE EE en eee he ee ee. eee 1184
BuRKE, MAXIM R. Powers of the ideal of Lebesgue measure zero sets .... 103
iii
iv TABLE OF CONTENTS
Burris, STANLEY, MCKENZIE, RALPH, and VALERIOTE, MATTHEW. Decidable
discriminator varieties from unary varieties
CaIN, JAMES and DAMNJANOVIC, ZLATAN. On the weak Kleene scheme in
Kripke’s theory of truth
CuaGrova, L. A. An undecidable problem in correspondence theory
CHUAQUI, ROLANDO. See MARSHALL, M. VICTORIA
CICHON, J., MORAYNE, M., PAWLIKOwSKI, P., and SoLECKI, S. Decomposing
Baire functions
CRABBE, MARCEL. Stratification and cut-elimination
DAMNIJANOVIC, ZLATAN. See CAIN, JAMES
DELON, FRANCOISE. Indécidabilité de la théorie des paires immédiates de corps
valués henseliens
. Plongement dense d’un corps ordonné dans sa cloture réelle . .
and GONDARD, DANIELLE. XVII*™* probleme de Hilbert sur les corps
chaine-clos
D1 PaoLa, ROBERT A. and MONTAGNA, FRANCO. Some properties of the syntac-
tic p-recursion categories generated by consistent, recursively enumerable
extensions of Peano arithmetic
Doets, KEEs. Axiomatizing universal properties of quantifiers
DurET, JEAN-LoulIs. See BELAIR, LUC
EFRAT, Ipo. The elementary theory of free pseudo p-adically closed fields of
finite corank
FareEY, R. E. See AGUZAROV, I.
FORSTER, THOMAS and KAYE, RICHARD. End-extensions preserving power
GHILARDI, SILVIO. Incompleteness results in Kripke semantics
GLUSCHANKOF, DANIEL. The elementary class of products of totally ordered
abelian groups
GOLDBLATT, ROBERT. The McKinsey axiom is not canonical
GONDARD, DANIELLE. See DELON, FRANCOISE
GoobDE, JOHN B. Some trivial considerations
. See AGUZAROV, I.
GROSSBERG, RAMI. Indiscernible sequences in a model which fails to have the
order property
. On chains of relatively saturated submodels of a model without the
order property
GRUENHAGE, G. See BALOGH, Z.
HALPERN, JOSEPH Y. Presburger arithmetic with unary predicates is mi}
complete
HART, BRADD and VALERIOTE, MATTHEW. A structure theorem for strongly
abelian varieties with few models
HATZIKIRIAKOU, Kostas. Minimal prime ideals and arithmetic compre-
hension
Hauser, Kal. Indescribable cardinals and elementary embeddings
HINMAN, PETER G. and SLAMAN, THEODORE A. Jump embeddings in the
Turing degrees
TABLE OF CONTENTS
-,___—. Corrections to Where do sets come from?
HopGEs, WILFRID and SHELAH, SAHARON. There are reasonably nice
ISHIHARA, HAJIME. Continuity and nondiscontinuity in constructive mathe-
matics
Ital, MASANORI. On the strong Martin conjecture
JACKSON, STEVE. Admissible Suslin cardinals in L(R)
and MAuLpIn, R. DANIEL. Nonuniformization results for the projec-
tive hierarchy
Jockuscx, C. G., Lewis, A., and REMMEL, J. B. IT?-classes and Rado’s selection
principle
JuDAH, Haim and SHELAH, SAHARON. Forcing minimal degree of construc-
tibility
KAYE, RICHARD. A generalization of Specker’s theorem on typical ambi-
guity
. Model-theoretic properties characterizing Peano arithmetic
. See FORSTER, THOMAS
KECHRIS, ALEXANDER S. Amenable equivalence relations and Turing
KEISLER, H. JEROME and LETH, STEVEN C. Meager sets on the hyperfinite time
and SCHMERL, JAMES H. Making the hyperreal line both saturated and
complete
KoMjATH, P. A set mapping with no infinite free subsets
KRACHT, MARCus and WOLTER, FRANK. Properties of independently axioma-
tizable bimodal logics
KRYNICKI, MICHAL and TUSCHIK, HANS-PETER. An axiomatization of the logic
with the rough quantifier
KuMaBE, MASAHIRO. Relative recursive enumerability of generic degrees. . .
KUMMER, MARTIN. Diagonals and semihyperhypersimple sets
LANO, K. Intuitionistic modal logic and set theory
LAVINE, SHAUGHAN. Dual easy uniformization and model-theoretic descriptive
set theory
LETH, STEVEN C. See KEISLER, H. JEROME
Lewis, A. See Jockuscu, C. G.
LINTON, Tom. Countable structures, Ehrenfeucht strategies, and Wadge
reductions
Loveys, JAMES. Abelian groups with modular generic
MACPHERSON, DUGALD. Interpreting groups in w-categorical structures
and SCHMERL, JAMES H. Binary relational structures having only
countably many nonisomorphic substructures
MARSHALL, M. VicTORIA and CHUAQUI, ROLANDO. Sentences of type theory:
the only sentences preserved under isomorphisms
MAULDIN, R. DANIEL. See JACKSON, STEVE
McKENZIE, RALPH. See BURRIS, STANLEY
vi TABLE OF CONTENTS
McLarty, COLIN. Axiomatizing a category of categories
MONTAGNA, FRANCO. See D1 PAOLA, ROBERT A.
MorAyYNneE, M. See CIcHoN, J.
NgsIn, ALi. Generalized Fitting subgroup of a group of finite Morley rank . . 1391
—___— . On bad groups, bad fields, and pseudoplanes
. Poly-separated and w-stable nilpotent groups
NG, Stu-an. A generalization of forking
—____.. Definable FN bases
NISHIMURA, HIROKAZU. Boolean valued Lie algebras
OsHERSON, DANIEL N., StoB, MICHAEL, and WEINSTEIN, SCOTT. A universal
inductive inference machine
OTERO, MARGARITA. Corrigendum
PACHOLSKI, LESZEK and SzwasT, WIESLAW. Asymptotic probabilities of exis-
tential second-order Gédel sentences
PALMGREN, ERIK. A construction of type : type in Martin-Léf’s partial type
theory with one universe
PARLAMENTO, FRANCO and POLICRITI, ALBERTO. Expressing infinity without
foundation
PAWLIKOwSKI, P. See CICHON, J.
PILLAY, ANAND. Some remarks on modular regular types
POLICRITI, ALBERTO. See PARLAMENTO, FRANCO
RATHJEN, MICHAEL. The role of parameters in bar rule and bar induction . .
REMMEL, J. B. See Jockuscu, C. G.
Rubin, MATATYAHU. See BONNET, ROBERT
SCANLAN, MICHAEL. Who were the American postulate theorists?
SCHEEPERS, MARION. Concerning n-tactics in the countable-finite game
SCHELLINX, HAROLD. Isomorphisms and nonisomorphisms of graph
SCHLINGMANN, Dirk R. H. Ramsey cardinals, a-Erdés cardinals, and the core
model
SCHMERL, JAMES H. See KEISLER. H. JEROME
. See MACPHERSON, DUGALD
SHELAH, SAHARON. See HODGEs, WILFRID
. See JUDAH, HAIM
SLAMAN, THEODORE A. See HINMAN, PETER G.
SoLEckI, S. See CICHON, J.
SPECTOR, MITCHELL. Extended ultrapowers and the Vopénka-Hrbatek theorem
without choice
SPINAS, OTMAR. See BAUMGARTNER, JAMES E.
STALMARCK, GUNNAR. Normalization theorems for full first order classical
natural deduction
Stos, MICHAEL. See OSHERSON, DANIEL N.
SwAEN, M. D. G. The logic of first order intuitionistic type theory with weak
sigma-elimination
SzwasT, WIESLAW. See PACHOLSKI, LESZEK
TAKEUTI, Galsi. A second order version of S} and U}
TABLE OF CONTENTS
THOoMaS, SIMON. Reducts of the random graph
TUSCHIK, HANS-PETER. See KRYNICKI, MICHAL
VALERIOTE, MATTHEW. See BuRRIS, STANLEY
. See HART, BRADD
VAN OOsTEN, JAAP. Extension of Lifschitz’ realizability to higher order arith-
metic, and a solution to a problem of F. Richman
VOURTSANIS, YIANNIS. A direct proof of the Feferman-Vaught theorem and
other preservation theorems in products
WAGNER, FRANK O. Small stable groups and generics
WEINSTEIN, SCOTT. See OSHERSON, DANIEL N.
WOLTER, FRANK. See KRACHT, MARCUS
ZIVALJEVIC, BOSKO. U-meager sets when the cofinality and the coinitiality of U
are uncountable
. The structure of graphs all of whose Y-sections are internal sets . .
ZROTOWSKI, R. Normality and P(x)/7
Reviews
Reviews
Reviews
Reviews
MEETINGS
:Annual Meeting of the Association for Symbolic Logic, Berkeley, 1990... . 361
“The Arthur Prior memorial conference, Christchurch, 1989
Annual Meeting of the Australasian Association for Logic, Sydney, 1990 . . . 1108
European Summer Meeting of the Association for Symbolic Logic (Logic Collo-
quium ’90), Helsinki, 1990
Notices
Notices
Notices
Notices
OFFICERS AND MEMBERS
List of officers and members of the Association for Symbolic Logic