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
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
On the Existence of Saturated Models of Stable Theories	1975-01-01	Paper
Prime extensions and categoricity in power	1971-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Victor Harnik