Concepedia

Henryk Kotlarski

HK

Statistics

Publications

15

Citations

395

H-Index

13

Active since

1981

Affiliations

Polish Academy of Sciences(Current)

Henryk Kotlarski is an author at Polish Academy of Sciences specializing in mathematics, set theory, and model theory.

Publications per year

1981–2003

15

Publications

15

Construction of Satisfaction Classes for Nonstandard Models

Henryk Kotlarski, Stanisław Krajewski, A. H. Lachlan · Canadian Mathematical Bulletin · 1981 · 69 citations · Full text

, , +15

Bounded Induction and Satisfaction Classes

Henryk Kotlarski · Mathematical logic quarterly · 1986 · 45 citations

, , +3

Automorphisms of recursively saturated models of arithmetic

Richard Kaye, Roman Kossak, Henryk Kotlarski · Annals of Pure and Applied Logic · 1991 · 45 citations

, , +9

On elementary cuts in recursively saturated models of Peano Arithmetic

Henryk Kotlarski · Fundamenta Mathematicae · 1984 · 29 citations · Full text

, , +14

Inductive full satisfaction classes

Henryk Kotlarski, Z. Ratajczyk · Annals of Pure and Applied Logic · 1990 · 27 citations

, , +2

1–5 of 15