Victor Harnik

Publication Activity (10 Years)

Years Active: 1975-1992
Publications (10 Years): 0

Publications

Victor Harnik, Michael Makkai
Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability. J. Symb. Log. 57 (1) (1992)
Victor Harnik
Provably Total Functions of Intuitionistic Bounded Arithmetic. J. Symb. Log. 57 (2) (1992)
Victor Harnik
Set existence axioms for general (not necessarily countable) stability theory. Ann. Pure Appl. Log. 34 (3) (1987)
Victor Harnik
-Like Recursively Saturated Models of Presburger's Arithmetic. J. Symb. Log. 51 (2) (1986)
Victor Harnik
Stability Theory and Set Existence Axioms. J. Symb. Log. 50 (1) (1985)
Victor Harnik, Leo Harrington
Fundamentals of forking. Ann. Pure Appl. Log. 26 (3) (1984)
Victor Harnik
Game Sentences, Recursive Saturation and Definability. J. Symb. Log. 45 (1) (1980)
Victor Harnik
Refinements of Vaught's Normal from Theorem. J. Symb. Log. 44 (3) (1979)
Victor Harnik
Approximation Theorems and Model Theoretic Forcing. J. Symb. Log. 41 (1) (1976)
Victor Harnik, Michael Makkai
Applications of Vaught Sentences and the Covering Theorem. J. Symb. Log. 41 (1) (1976)
Victor Harnik
Effective Proper Procedures and Universal Classes of Program Schemata. J. Comput. Syst. Sci. 10 (1) (1975)