Fingerprint
Dive into the research topics where Victor Harnik is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
- 10 Article
-
Remarks Concerning the Comments of A. Macintyre
Harnik, V., 1989, In: Studies in Logic and the Foundations of Mathematics. 127, p. 369 1 p.Research output: Contribution to journal › Article › peer-review
-
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.Research output: Contribution to journal › Article › peer-review
Open Access -
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.Research output: Contribution to journal › Article › peer-review
-
Fundamentals of forking
Harnik, V. & Harrington, L., Jun 1984, In: Annals of Pure and Applied Logic. 26, 3, p. 245-286 42 p.Research output: Contribution to journal › Article › peer-review
Open Access -
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.Research output: Contribution to journal › Article › peer-review