The following pages link to Victor Harnik (Q580326):
Displaying 21 items.
- Set existence axioms for general (not necessarily countable) stability theory (Q580327) (← links)
- Fundamentals of forking (Q1074574) (← links)
- Infinitesimals from Leibniz to Robinson. Time to bring them back to school (Q1078156) (← links)
- A two cardinal theorem for sets of formulas in a stable theory (Q1227004) (← links)
- Effective proper procedures and universal classes of program schemata (Q1236424) (← links)
- New axiomatizations for logics with generalized quantifiers (Q1256443) (← links)
- Prime extensions and categoricity in power (Q2548250) (← links)
- (Q3093860) (← links)
- Stability theory and set existence axioms (Q3752377) (← links)
- <i>ω</i><sub>1</sub>-like recursively saturated models of Presburger's arithmetic (Q3758816) (← links)
- The structure of $ω_1$-like orderings (Q3760530) (← links)
- (Q3783277) (← links)
- Refinements of Vaught's normal from theorem (Q3875914) (← links)
- Game sentences, recursive saturation and definability (Q3889030) (← links)
- Lambek's categorical proof theory and Läuchli's abstract realizability (Q4008758) (← links)
- Provably total functions of intuitionistic bounded arithmetic (Q4032632) (← links)
- On the Existence of Saturated Models of Stable Theories (Q4075455) (← links)
- Applications of vaught sentences and the covering theorem (Q4100057) (← links)
- Approximation theorems and model theoretic forcing (Q4126313) (← links)
- A Tree Argument in Infinitary Model Theory (Q4163198) (← links)
- (Q4276310) (← links)
