Victor Harnik

Available identifiers

zbMath Open harnik.victorMaRDI QIDQ580326

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3093860	2011-10-19	Paper
Computads and Multitopic Sets	2008-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4276310	1994-07-26	Paper
Provably total functions of intuitionistic bounded arithmetic	1993-04-01	Paper
Lambek's categorical proof theory and Läuchli's abstract realizability	1992-09-27	Paper
Set existence axioms for general (not necessarily countable) stability theory	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783277	1987-01-01	Paper
Infinitesimals from Leibniz to Robinson. Time to bring them back to school	1986-01-01	Paper
ω1-like recursively saturated models of Presburger's arithmetic	1986-01-01	Paper
The structure of $ω_1$-like orderings	1986-01-01	Paper
Stability theory and set existence axioms	1985-01-01	Paper
Fundamentals of forking	1984-01-01	Paper
Game sentences, recursive saturation and definability	1980-01-01	Paper
New axiomatizations for logics with generalized quantifiers	1979-01-01	Paper
Refinements of Vaught's normal from theorem	1979-01-01	Paper
A Tree Argument in Infinitary Model Theory	1978-01-01	Paper
Applications of vaught sentences and the covering theorem	1976-01-01	Paper
Approximation theorems and model theoretic forcing	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	1975-01-01	Paper
Effective proper procedures and universal classes of program schemata	1975-01-01	Paper
Prime extensions and categoricity in power	1971-01-01	Paper

Research outcomes over time

This page was built for person: Victor Harnik