HUJI The Hebrew University of Jerusalem

Welcome to the Einstein Institute of Mathematics

Home About Staff Studies Colloquia & Events Research Services & Resources Sites

About the Institute

More: Background | Prizes | Chairs | Display | In memoriam

Preprint list (1958-1970)
For more recent preprints published by the Einstein Institute of Mathematics, See:
Preprints / The Edmund Landau Minerva Center for Research in Mathematical Analysis and Related Areas
Note: Most of the following preprints are available at the library.
Related preprints:
Hebrew University of Jerusalem. Center for the Study of Rationality
Discussion papers → Full Abstract List
Technical notes (1958)
  1. Some remarks on Tauberian theorems / Jakimovski.
  2. Extensions, retractions and projections / Grünbaum.
  3. On a theorem of Kirszbraun / Grünbaum.
  4. On a problem of S. Mazur / Grünbaum.
  5. The coerciveness problem for integro-differential forms / Agmon.
  6. Projection constants / Grünbaum.
  7. Classes of minimal and representative domains and their Bergman kernet function / Maschler.
  8. A generalization of the Lototski methods of summability / Jakimovski.

Technical report (1959)

  1. Report on the state of machine translation in the United States and Great Britain / Bar Hillel.
Technical report (1958-1970)
  1. Analytic functions of the classes L2 and l2 and their kernel functions / Maschler. 1958
  2. Degree of difficulty of computing a function and a partial ordering of recursive sets / Rabin. 1960
  3. On Divergence of random power series / Dvoretzky and Erdös. 1959
  4. On formal properties of simple phrase structure grammers / Bar-Hillel, Perles, Shamir. 1960
  5. On some compositions of Hadamard type in classes of analytic functions / Loewner and Netanyahu. 1959

  7. The Lp approach to the Dirichlet problem, I / Agmon. 1959
  8. The angular distribution of Eignenvalues of non self-adjoint elliptic boundary value problems of higher order / Agmon. 1960
  9. On the mechanization of the theory of numbers / Machover and Robinson. 1962
  10. The product of summability methods III / Jakimowski. 1960
  11. Research in the area of mathematical analysis. I & II / Agmon, Dvoretzky, Robinson [et al.]. 1960
    Research in the area of mathematical analysis. III / Dvoretzky, Foguel, Jakimowski, Kesten [et al.]. 1961
  12. Local partial differential algebra / Halfin and Robinson. 1960
  13. Limits at ∞ of semi groups of contraction / Foguel. 1961
  14. A subspace of l1 which is not isomorphic to l1 / Lindenstrauss. 1960
  15. Tauberian constants for Hausdorff transformations / Jakimowski. 1961
  16. Occupation times for Markov and semi Markov chains / Kesten. 1961
  17. Markov processes with stationary measure / Foguel. 1961
  18. Existence of invariant measures for Markov processes / Foguel. 1961
  19. Some probabilistic theorems of Diophantine approximations / Kesten. 1961


  22. On the extension properties for compact operators / Lindenstrauss. 1961
  23. Common secants for families of polyhedra / Grünbaum. 1961

  25. Characterisation of c(m) / Katznelson. 1962
  26. Research in the area of mathematical analysis. I- IV / Agmon, Dvoretzky, Robinson [et al.]. 1962
  27. Non-standard analysis without tears / Machover. 1967
  28. Decomposition theorems for finite sequential machines / Magidor. 1968

  30. Complex function theory over non-Archimedean fields / Robinson. 1962
  31. Applications of trees to intermediate logics I / Gabbay. 1969

  33. On decidable, finitely axiomatizable, modal and tense logics without the finite model property / Gabbay. 1969
  34. On decidable, finitely axiomatizable, modal and tense logics without the finite model property II / Gabbay. 1969
  35. A sequence of decidable finitely axiomatizable intermediate logics with the disjuction property / Gabbay and Jongh. 1969

  37. Automata of infinite trees and the synthesis problem. Rabin. 1970
Scientific report / Applied Logic Branch. 1969
  1. The theory of transfinite effectivity / Levy 1963

  2. Model theory for tense logics / Gabbay. 1969
  3. Model theory for intuitionistic logic I / Gabbay. 1969
  4. Deep structures, model sets and presuppositions / Kroy. 1970
  5. Montague type semantics for non-classical logics I / Gabbay. 1969
  6. Semantic proof of Craig's interpolation theorem for intuitionistic logic and extension I / Gabbay. 1969
  7. Craig's interpolation theorem for modal predicate calculi I / Gabbay. 1969
Research memorandum (1963-1974) / Research program in game theory and mathematical economics.
Back to the Math home page
| Israel Journal of Mathematics | Journal d'Analyse Mathematique |
Mathematics and Computer Science Library | Faculty of Science | The Hebrew University of Jerusalem |
Comments to: Naavah Levin, email: naavah at math.huji.ac.il
Design, construction & editing: Naavah Levin
Background image © copyright 1997 by Xah Lee, used with permission.
URL: http://www.ma.huji.ac.il/
Last updated: Feb. 13th, 2008