AAAAAA
Results: 1-25/787
Authors:
Areces, C
Blackburn, P
Marx, M
Citation: C. Areces et al., Hybrid logics: Characterization, interpolation and complexity, J SYMB LOG, 66(3), 2001, pp. 977-1010
Authors:
Reynolds, M
Citation: M. Reynolds, An axiomatization of full computation tree logic, J SYMB LOG, 66(3), 2001, pp. 1011-1057
Authors:
Hjorth, G
Citation: G. Hjorth, A boundedness lemma for iterations, J SYMB LOG, 66(3), 2001, pp. 1058-1072
Authors:
Jager, G
Citation: G. Jager, First order theories for nonmonotone inductive definitions: Recursively inaccessible and Mahlo, J SYMB LOG, 66(3), 2001, pp. 1073-1089
Authors:
Vickers, J
Welch, PD
Citation: J. Vickers et Pd. Welch, On elementary embeddings from an inner model to the universe, J SYMB LOG, 66(3), 2001, pp. 1090-1116
Authors:
Chatzidakis, Z
Pappas, P
Citation: Z. Chatzidakis et P. Pappas, A note on the isomorphism problem for SK[G], J SYMB LOG, 66(3), 2001, pp. 1117-1120
Authors:
Wilson, JT
Citation: Jt. Wilson, An intuitionistic version of Zermelo's proof that every choice set can be well-ordered, J SYMB LOG, 66(3), 2001, pp. 1121-1126
Authors:
Casanovas, E
Ziegler, M
Citation: E. Casanovas et M. Ziegler, Stable theories with a new predicate, J SYMB LOG, 66(3), 2001, pp. 1127-1140
Authors:
Surendonk, TJ
Citation: Tj. Surendonk, Canonicity for intensional logics with even axioms, J SYMB LOG, 66(3), 2001, pp. 1141-1156
Authors:
Spreen, D
Citation: D. Spreen, Can partial indexings be totalized?, J SYMB LOG, 66(3), 2001, pp. 1157-1185
Authors:
Hamkins, JD
Citation: Jd. Hamkins, Unfoldable cardinals and the GCH, J SYMB LOG, 66(3), 2001, pp. 1186-1198
Authors:
Terwijn, SA
Zambella, D
Citation: Sa. Terwijn et D. Zambella, Computational randomness and lowness, J SYMB LOG, 66(3), 2001, pp. 1199-1205
Authors:
Pitteloud, D
Citation: D. Pitteloud, Existence of prime elements in rings of generalized power series, J SYMB LOG, 66(3), 2001, pp. 1206-1216
Authors:
Immerman, N
Buss, JF
Barrington, DAM
Citation: N. Immerman et al., Number of variables is equivalent to space, J SYMB LOG, 66(3), 2001, pp. 1217-1230
Authors:
Ehrlich, P
Citation: P. Ehrlich, Number systems with simplicity hierarchies: A generalization of Conway's theory of surreal numbers, J SYMB LOG, 66(3), 2001, pp. 1231-1258
Authors:
Hrusak, M
Steprans, J
Zhang, Y
Citation: M. Hrusak et al., Cofinitary groups, almost disjoint and dominating families, J SYMB LOG, 66(3), 2001, pp. 1259-1276
Authors:
Beckmann, A
Citation: A. Beckmann, Exact bounds for lengths of reductions in typed lambda-calculus, J SYMB LOG, 66(3), 2001, pp. 1277-1285
Authors:
Hyttinen, T
Shelah, S
Citation: T. Hyttinen et S. Shelah, Main gap for locally saturated elementary submodels of a homogeneous structure, J SYMB LOG, 66(3), 2001, pp. 1286-1302
Authors:
Kraszewski, J
Citation: J. Kraszewski, Properties of ideals on the generalized Cantor spaces, J SYMB LOG, 66(3), 2001, pp. 1303-1320
Authors:
Andreev, PV
Gordon, EI
Citation: Pv. Andreev et Ei. Gordon, An axiomatics for nonstandard set theory, based on von Neumann-Bernays-Godel Theory, J SYMB LOG, 66(3), 2001, pp. 1321-1341
Authors:
Cherlin, G
Shi, ND
Citation: G. Cherlin et Nd. Shi, Forbidden subgraphs and forbidden substructures, J SYMB LOG, 66(3), 2001, pp. 1342-1352
Authors:
Hardin, CS
Velleman, DJ
Citation: Cs. Hardin et Dj. Velleman, The Mean Value Theorem in second order arithmetic, J SYMB LOG, 66(3), 2001, pp. 1353-1358
Authors:
Shelah, S
Stanley, LJ
Citation: S. Shelah et Lj. Stanley, Forcing many positive polarized partition relations between a cardinal andits powerset, J SYMB LOG, 66(3), 2001, pp. 1359-1370
Authors:
Downey, R
Hirschfeldt, DR
Lempp, S
Solomon, R
Citation: R. Downey et al., A Delta(0)(2) set with no infinite low subset in either it or its complement, J SYMB LOG, 66(3), 2001, pp. 1371-1381
Authors:
Baizhanov, BS
Citation: Bs. Baizhanov, Expansion of a model of a weakly o-minimal theory by a family of unary predicates, J SYMB LOG, 66(3), 2001, pp. 1382-1414