אודות
לוגיקה מתמטית
פרסומים
- Remarks Concerning the Comments of A. Macintyre, Harnik, V., 1989, In: Studies in Logic and the Foundations of Mathematics. 127, p. 369 1 p.
- Set existence axioms for general (not necessarily countable) stability theory, Harnik, V., Jun 1987, In: Annals of Pure and Applied Logic. 34, 3, p. 231-243 13 p.
- Infinitesimals from Leibniz to Robinson time to bring them back to school, Harnik, V., Jun 1986, In: Mathematical Intelligencer. 8, 2, p. 41-47 7 p.
- Fundamentals of forking, Harnik, V. & Harrington, L., Jun 1984, In: Annals of Pure and Applied Logic. 26, 3, p. 245-286 42 p.
- New axiomatizations for logics with generalized quantifiers, Harnik, V. & Makkai, M., Jun 1979, In: Israel Journal of Mathematics. 32, 2-3, p. 257-281 25 p.
- A tree argument in infinitary model theory, Harnik, V. & Makkai, M., Dec 1977, In: Proceedings of the American Mathematical Society. 67, 2, p. 209-214 6 p.
- On the existence of saturated models of stable theories, Harnik, V., Oct 1975, In: Proceedings of the American Mathematical Society. 52, 1, p. 361-367 7 p.
- A two cardinal theorem for sets of formulas in a stable theory, Harnik, V., Mar 1975, In: Israel Journal of Mathematics. 21, 1, p. 7-23 17 p.
- Effective proper procedures and universal classes of program schemata, Harnik, V., Feb 1975, In: Journal of Computer and System Sciences. 10, 1, p. 44-61 18 p.
- Prime extensions and categoricity in power, Harnik, V. & Ressayre, J. P., Jun 1971, In: Israel Journal of Mathematics. 10, 2, p. 172-185 14 p.