Henryk Kotlarski

Available identifiers

zbMath Open kotlarski.henrykMaRDI QIDQ598274

List of research outcomes

Publication	Date of Publication	Type
A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski	2019-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q3072494	2011-02-03	Paper
On a question of Andreas Weiermann	2009-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q3509169	2008-07-01	Paper
More on extending automorphisms of models of Peano Arithmetic	2008-06-23	Paper
More on lower bounds for partitioning \(\alpha\)-large sets	2007-07-16	Paper
Partitioning 𝛼–large sets: Some lower bounds	2007-02-01	Paper
Some variations of the Hardy hierarchy	2005-08-01	Paper
The incompleteness theorems after 70 years	2004-08-06	Paper
Some combinatorics involving ξ-large sets	2003-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4521125	2001-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q4939406	2000-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4700239	2000-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q4222594	1999-08-31	Paper
Other Proofs of Old Results	1999-01-06	Paper
On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic	1998-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q4882388	1996-08-04	Paper
An addition to Rosser's theorem	1996-06-02	Paper
Automorphisms of countable recursively saturated models of PA: A survey	1996-05-22	Paper
Automorphisms of models of true arithmetic: Recognizing some basic open subgroups	1995-11-09	Paper
Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts	1995-07-20	Paper
On the incompleteness theorems	1995-02-13	Paper
GAME APPROXIMATIONS OF SATISFACTION CLASSES MODELS	1994-12-01	Paper
Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely	1994-10-05	Paper
On maximal subgroups of the automorphism group of a countable recursively saturated model of PA	1994-09-26	Paper
Automorphisms of recursively saturated models of arithmetic	1992-06-28	Paper
Full satisfaction classes: A survey	1992-06-28	Paper
Inductive full satisfaction classes	1990-01-01	Paper
More on induction in the language with a satisfaction class	1990-01-01	Paper
On the End Extension Problem For Δ0-PA(S)	1989-01-01	Paper
Results on automorphisms of recursively saturated models of PA	1988-01-01	Paper
The Recursively Saturated Part of Models of Peano Arithmetic	1986-01-01	Paper
Bounded Induction and Satisfaction Classes	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3712340	1985-01-01	Paper
On elementary cuts in recursively saturated models of Peano Arithmetic	1984-01-01	Paper
Some remarks on initial segments in models of Peano arithmetic	1984-01-01	Paper
On cofinal extensions of models of arithmetic	1983-01-01	Paper
On elementary cuts in models of arithmetic	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3924204	1981-01-01	Paper
Construction of Satisfaction Classes for Nonstandard Models	1981-01-01	Paper
On Skolem Ultrapowers and Their Non‐Standard Variant	1980-01-01	Paper
Some remarks on well-ordered models	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4192048	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4775866	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3215215	1973-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: Henryk Kotlarski