Victor Harnik

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Model theory vs. categorical logic: two approaches to pretopos completion (a.k.a. $T^{\mathrm{eq}}$)	2011-10-19	Paper
Computads and Multitopic Sets	2008-11-20	Paper
scientific article; zbMATH DE number 493066 (Why is no real title available?)	1994-07-26	Paper
Provably total functions of intuitionistic bounded arithmetic Journal of Symbolic Logic	1993-04-01	Paper
Lambek's categorical proof theory and Läuchli's abstract realizability Journal of Symbolic Logic	1992-09-27	Paper
Set existence axioms for general (not necessarily countable) stability theory Annals of Pure and Applied Logic	1987-01-01	Paper
scientific article; zbMATH DE number 4045724 (Why is no real title available?)	1987-01-01	Paper
Infinitesimals from Leibniz to Robinson. Time to bring them back to school The Mathematical Intelligencer	1986-01-01	Paper
ω₁-like recursively saturated models of Presburger's arithmetic Journal of Symbolic Logic	1986-01-01	Paper
The structure of $ω_1$-like orderings Fundamenta Mathematicae	1986-01-01	Paper
Stability theory and set existence axioms Journal of Symbolic Logic	1985-01-01	Paper
Fundamentals of forking Annals of Pure and Applied Logic	1984-01-01	Paper
Game sentences, recursive saturation and definability Journal of Symbolic Logic	1980-01-01	Paper
New axiomatizations for logics with generalized quantifiers Israel Journal of Mathematics	1979-01-01	Paper
Refinements of Vaught's normal from theorem Journal of Symbolic Logic	1979-01-01	Paper
A Tree Argument in Infinitary Model Theory	1978-01-01	Paper
Applications of vaught sentences and the covering theorem Journal of Symbolic Logic	1976-01-01	Paper
Approximation theorems and model theoretic forcing Journal of Symbolic Logic	1976-01-01	Paper
On the Existence of Saturated Models of Stable Theories	1975-01-01	Paper
A two cardinal theorem for sets of formulas in a stable theory Israel Journal of Mathematics	1975-01-01	Paper
Effective proper procedures and universal classes of program schemata Journal of Computer and System Sciences	1975-01-01	Paper
Prime extensions and categoricity in power Israel Journal of Mathematics	1971-01-01	Paper

Research outcomes over time

This page was built for person: Victor Harnik