V. Harnik

发表

New axiomatizations for logics with generalized quantifiers

M. Makkai, V. Harnik, 1979 .

Countable or ω1-like models of Presburger's arithmetic

V. Harnik, 1987 .

Approximation theorems and model theoretic forcing

V. Harnik, 1976, Journal of Symbolic Logic.

Lambek's categorical proof theory and Läuchli's abstract realizability

Victor Harnik, Michael Makkai, M. Makkai, 1992, Journal of Symbolic Logic.

Review: S. Shelah, Classification Theory and the Number of Nonisomorphic Models

Victor Harnik, V. Harnik, 1982, Journal of Symbolic Logic.

Game sentences, recursive saturation and definability

Victor Harnik, V. Harnik, 1980, Journal of Symbolic Logic.

Refinements of Vaught's normal from theorem

Victor Harnik, V. Harnik, 1979, Journal of Symbolic Logic.

On the existence of saturated models of stable theories

Victor Harnik, V. Harnik, 1975 .