AAAAAA
Results: 1-25/36
Authors:
LOWE B
Citation: B. Lowe, UNIFORM UNFOLDING AND ANALYTIC MEASURABILITY, Archive for mathematical logic, 37(8), 1998, pp. 505-520
Authors:
SCHAEFER M
Citation: M. Schaefer, A GUIDED TOUR OF MINIMAL INDEXES AND SHORTEST DESCRIPTIONS, Archive for mathematical logic, 37(8), 1998, pp. 521-548
Authors:
NIGGL KH
Citation: Kh. Niggl, A RESTRICTED COMPUTATION MODEL ON SCOTT DOMAINS AND ITS PARTIAL PRIMITIVE RECURSIVE FUNCTIONALS, Archive for mathematical logic, 37(7), 1998, pp. 443-481
Authors:
THOMAS S
Citation: S. Thomas, GROUPWISE DENSITY AND THE COFINALITY OF THE INFINITE SYMMETRICAL GROUP, Archive for mathematical logic, 37(7), 1998, pp. 483-493
Authors:
MILDENBERGER H
SPINAS O
Citation: H. Mildenberger et O. Spinas, MEETING INFINITELY MANY CELLS OF A PARTITION ONCE, Archive for mathematical logic, 37(7), 1998, pp. 495-503
Authors:
JAEGER G
POHLERS W
WAINER S
Citation: G. Jaeger et al., LOGIC-COLLOQUIUM-95, HAIFA, ISRAEL - INVITED PAPERS ON PROOF THEORY, Archive for mathematical logic, 37(5-6), 1998, pp. 273-273
Authors:
BEKLEMISHEV LD
Citation: Ld. Beklemishev, A PROOF-THEORETIC ANALYSIS OF COLLECTION, Archive for mathematical logic, 37(5-6), 1998, pp. 275-296
Authors:
BAAZ M
ZACH R
Citation: M. Baaz et R. Zach, NOTE ON GENERALIZING THEOREMS IN ALGEBRAICALLY CLOSED FIELDS, Archive for mathematical logic, 37(5-6), 1998, pp. 297-307
Authors:
BELLIN G
FLEURY A
Citation: G. Bellin et A. Fleury, PLANAR AND BRAIDED PROOF-NETS FOR MULTIPLICATIVE LINEAR LOGIC WITH MIX, Archive for mathematical logic, 37(5-6), 1998, pp. 309-325
Authors:
DEKKERS W
BUNDER M
BARENDREGT H
Citation: W. Dekkers et al., COMPLETENESS OF 2 SYSTEMS OF ILLATIVE COMBINATORY-LOGIC FOR FIRST-ORDER PROPOSITIONAL AND PREDICATE CALCULUS, Archive for mathematical logic, 37(5-6), 1998, pp. 327-341
Authors:
GIUSTO M
MARCONE A
Citation: M. Giusto et A. Marcone, LEBESGUE NUMBERS AND ATSUJI SPACES IN SUBSYSTEMS OF 2ND-ORDER ARITHMETIC, Archive for mathematical logic, 37(5-6), 1998, pp. 343-362
Authors:
KOHLENBACH U
Citation: U. Kohlenbach, ELIMINATION OF SKOLEM FUNCTIONS FOR MONOTONE FORMULAS IN ANALYSIS, Archive for mathematical logic, 37(5-6), 1998, pp. 363-390
Authors:
MARZETTA M
STRAHM T
Citation: M. Marzetta et T. Strahm, THE MU-QUANTIFICATION OPERATOR IN EXPLICIT MATHEMATICS WITH UNIVERSESAND ITERATED FIXED-POINT THEORIES WITH ORDINALS, Archive for mathematical logic, 37(5-6), 1998, pp. 391-413
Authors:
MINTS G
Citation: G. Mints, NORMAL DEDUCTION IN THE INTUITIONISTIC LINEAR LOGIC, Archive for mathematical logic, 37(5-6), 1998, pp. 415-425
Authors:
WEIERMANN A
Citation: A. Weiermann, BOUNDING DERIVATION LENGTHS WITH FUNCTIONS FROM THE SLOW-GROWING HIERARCHY, Archive for mathematical logic, 37(5-6), 1998, pp. 427-441
Authors:
SCHINDLER RD
Citation: Rd. Schindler, ON A CHANG CONJECTURE - II, Archive for mathematical logic, 37(4), 1998, pp. 215-220
Authors:
CASANOVAS E
Citation: E. Casanovas, A TEST FOR EXPANDABILITY, Archive for mathematical logic, 37(4), 1998, pp. 221-234
Authors:
AVIGAD J
Citation: J. Avigad, AN EFFECTIVE PROOF THAT OPEN SETS ARE RAMSEY, Archive for mathematical logic, 37(4), 1998, pp. 235-240
Authors:
HALBEISEN L
Citation: L. Halbeisen, SYMMETRIES BETWEEN 2 RAMSEY PROPERTIES, Archive for mathematical logic, 37(4), 1998, pp. 241-260
Authors:
ABE Y
Citation: Y. Abe, COMBINATORIAL CHARACTERIZATION OF PI(1)(1)-INDESCRIBABILITY IN P-KAPPA-LAMBDA, Archive for mathematical logic, 37(4), 1998, pp. 261-272
Authors:
COQUAND T
Citation: T. Coquand, 2 APPLICATIONS OF BOOLEAN MODELS, Archive for mathematical logic, 37(3), 1998, pp. 143-147
Authors:
ARAI T
Citation: T. Arai, CONSISTENCY PROOF VIA POINTWISE INDUCTION, Archive for mathematical logic, 37(3), 1998, pp. 149-165
Authors:
WOLTER F
Citation: F. Wolter, ALL FINITELY AXIOMATIZABLE SUBFRAME LOGICS CONTAINING THE PROVABILITYLOGIC CSM0 ARE DECIDABLE, Archive for mathematical logic, 37(3), 1998, pp. 167-182
Authors:
BRENDLE J
Citation: J. Brendle, MOB FAMILIES AND MAD FAMILIES, Archive for mathematical logic, 37(3), 1998, pp. 183-197
Authors:
BURR W
HARTUNG V
Citation: W. Burr et V. Hartung, A CHARACTERIZATION OF THE SIGMA(1)-DEFINABLE FUNCTIONS OF KP-OMEGA PLUS (UNIFORM AC), Archive for mathematical logic, 37(3), 1998, pp. 199-214