AAAAAA
Results: 1-25/479
Authors:
MORGAN C
Citation: C. Morgan, HIGHER GAP MORASSES, IA - GAP-2 MORASSES AND CONDENSATION, The Journal of symbolic logic, 63(3), 1998, pp. 753-787
Authors:
PILLAY A
Citation: A. Pillay, DEFINABILITY AND DEFINABLE GROUPS IN SIMPLE THEORIES, The Journal of symbolic logic, 63(3), 1998, pp. 788-796
Authors:
CHONG CT
YANG Y
Citation: Ct. Chong et Y. Yang, SIGMA(2) INDUCTION AND INFINITE INJURY PRIORITY ARGUMENT, PART I - MAXIMAL SETS AND THE JUMP OPERATOR, The Journal of symbolic logic, 63(3), 1998, pp. 797-814
Authors:
KORNER F
Citation: F. Korner, AUTOMORPHISMS MOVING ALL NON-ALGEBRAIC POINTS AND AN APPLICATION TO NF, The Journal of symbolic logic, 63(3), 1998, pp. 815-830
Authors:
AVRON A
Citation: A. Avron, MULTIPLICATIVE CONJUNCTION AND AN ALGEBRAIC MEANING OF CONTRACTION AND WEAKENING, The Journal of symbolic logic, 63(3), 1998, pp. 831-859
Authors:
TAKEUTI G
YASUMOTO M
Citation: G. Takeuti et M. Yasumoto, FORCING ON BOUNDED ARITHMETIC II, The Journal of symbolic logic, 63(3), 1998, pp. 860-868
Authors:
DEKKERS W
BUNDER M
BARENDREGT H
Citation: W. Dekkers et al., COMPLETENESS OF THE PROPOSITIONS-AS-TYPES INTERPRETATION OF INTUITIONISTIC LOGIC INTO ILLATIVE COMBINATORY-LOGIC, The Journal of symbolic logic, 63(3), 1998, pp. 869-890
Authors:
SU G
Citation: G. Su, ON AUTOMORPHISM-GROUPS OF COUNTABLE STRUCTURES, The Journal of symbolic logic, 63(3), 1998, pp. 891-896
Authors:
ARAI T
Citation: T. Arai, VARIATIONS ON A THEME BY WEIERMANN, The Journal of symbolic logic, 63(3), 1998, pp. 897-925
Authors:
KIM B
Citation: B. Kim, A NOTE ON LASCAR STRONG TYPES IN SIMPLE THEORIES, The Journal of symbolic logic, 63(3), 1998, pp. 926-936
Authors:
CUNNINGHAM DW
Citation: Dw. Cunningham, THE FINE-STRUCTURE OF REAL MICE, The Journal of symbolic logic, 63(3), 1998, pp. 937-994
Authors:
WAGNER FO
Citation: Fo. Wagner, SMALL FIELDS, The Journal of symbolic logic, 63(3), 1998, pp. 995-1002
Authors:
MATSUBARA Y
SHIOYA M
Citation: Y. Matsubara et M. Shioya, NOWHERE PRECIPITOUSNESS OF SOME IDEALS, The Journal of symbolic logic, 63(3), 1998, pp. 1003-1006
Authors:
PARIS J
VENCOVSKA A
Citation: J. Paris et A. Vencovska, PROOF SYSTEMS FOR PROBABILISTIC UNCERTAIN REASONING, The Journal of symbolic logic, 63(3), 1998, pp. 1007-1039
Authors:
MATET P
PAWLIKOWSKI J
Citation: P. Matet et J. Pawlikowski, IDEALS OVER OMEGA AND CARDINAL INVARIANTS OF THE CONTINUUM, The Journal of symbolic logic, 63(3), 1998, pp. 1040-1054
Authors:
KOSZMIDER P
Citation: P. Koszmider, ON THE EXISTENCE OF STRONG MAINS IN P(OMEGA(1)) FIN/, The Journal of symbolic logic, 63(3), 1998, pp. 1055-1062
Authors:
MCALLISTER AM
Citation: Am. Mcallister, COMPLETIONS OF PA - MODELS AND ENUMERATIONS OF REPRESENTABLE SETS, The Journal of symbolic logic, 63(3), 1998, pp. 1063-1082
Authors:
FOUCHE WL
POTGIETER PH
Citation: Wl. Fouche et Ph. Potgieter, KOLMOGOROV COMPLEXITY AND SYMMETRICAL RELATIONAL STRUCTURES, The Journal of symbolic logic, 63(3), 1998, pp. 1083-1094
Authors:
CHIARI M
KRAJICEK J
Citation: M. Chiari et J. Krajicek, WITNESSING FUNCTIONS IN BOUNDED ARITHMETIC AND SEARCH PROBLEMS, The Journal of symbolic logic, 63(3), 1998, pp. 1095-1115
Authors:
VILLAVECES A
Citation: A. Villaveces, CHAINS OF END ELEMENTARY EXTENSIONS OF MODELS OF SET-THEORY, The Journal of symbolic logic, 63(3), 1998, pp. 1116-1136
Authors:
KOEPKE P
Citation: P. Koepke, EXTENDERS, EMBEDDING NORMAL FORMS, AND THE MARTIN-STEEL-THEOREM, The Journal of symbolic logic, 63(3), 1998, pp. 1137-1176
Authors:
LURIE J
Citation: J. Lurie, THE EFFECTIVE CONTENT OF SURREAL ALGEBRA, The Journal of symbolic logic, 63(2), 1998, pp. 337-371
Authors:
BALLARD D
BOSHUCK W
Citation: D. Ballard et W. Boshuck, DEFINABILITY AND DESCENT, The Journal of symbolic logic, 63(2), 1998, pp. 372-378
Authors:
BES A
RICHARD D
Citation: A. Bes et D. Richard, UNDECIDABLE EXTENSIONS OF SKOLEM ARITHMETIC, The Journal of symbolic logic, 63(2), 1998, pp. 379-401
Authors:
DAQUINO P
Citation: P. Daquino, SOLVING PELL EQUATIONS LOCALLY IN MODELS OF I-DELTA(0), The Journal of symbolic logic, 63(2), 1998, pp. 402-410