H. Kotlarski

发表

Construction of Satisfaction Classes for Nonstandard Models

H. Kotlarski, S. Krajewski, A. H. Lachlan, 1981, Canadian Mathematical Bulletin.

On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic

H. Kotlarski, Teresa Bigorajska, J. Schmerl, 1998 .

Mathematisches Forschungsinstitut Oberwolfach Report No . 52 / 2006 Mini-Workshop : Logic , Combinatorics and Independence Results

Joseph R. Mileti, Eran Omri, A. Bovykin, 2006 .

Incompleteness

H. Kotlarski, 2019, Trends in Logic.

More on extending automorphisms of models of Peano Arithmetic

H. Kotlarski, R. Kossak, 2008 .

On extending automorphisms of models of Peano

H. Kotlarski, 2007 .

Game Approximations of Satisfaction Classes Models

Roman Kossak, Henryk Kotlarski, H. Kotlarski, 1992, Math. Log. Q..

On a question of Andreas Weiermann

Henryk Kotlarski, Konrad Zdanowski, K. Zdanowski, 2009, Math. Log. Q..

More on lower bounds for partitioning alpha-large sets

Andreas Weiermann, Henryk Kotlarski, Bozena Piekart, 2007, Ann. Pure Appl. Log..

Partitioning $\alpha$--large sets: some lower bounds

Henryk Kotlarski, Teresa Bigorajska, H. Kotlarski, 2006 .

Some variations of the Hardy hierarchy

Henryk Kotlarski, Bozena Piekart, H. Kotlarski, 2005, Math. Log. Q..

Inductive Full Satisfaction Classes

Henryk Kotlarski, Zygmunt Ratajczyk, H. Kotlarski, 1990, Ann. Pure Appl. Log..

Transfinite Induction

H. Kotlarski, 2019, Trends in Logic.

Some Combinatorics

H. Kotlarski, 2019, Trends in Logic.

A partition theorem for α-large sets

Henryk Kotlarski, Teresa Bigorajska, H. Kotlarski, 1999 .

More on induction in the language with a satisfaction class

Henryk Kotlarski, Zygmunt Ratajczyk, H. Kotlarski, 1990, Math. Log. Q..

On the End Extension Problem For Δ0-PA(S)

Henryk Kotlarski, H. Kotlarski, 1989, Math. Log. Q..

The incompleteness theorems after 70 years

Henryk Kotlarski, H. Kotlarski, 2004, Ann. Pure Appl. Log..

On Models Constructed by Means of the Arithmetized Completeness Theorem

Richard Kaye, Henryk Kotlarski, R. Kaye, 2000, Math. Log. Q..

Automorphisms of Recursively Saturated Models of Arithmetic

Richard Kaye, Roman Kossak, Henryk Kotlarski, 1991, Ann. Pure Appl. Log..

Some Model Theory

Henryk Kotlarski, H. Kotlarski, 2019, Trends in Logic.

Some remarks on initial segments in models of Peano arithmetic

Henryk Kotlarski, H. Kotlarski, 1984, Journal of Symbolic Logic.

On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic

Henryk Kotlarski, Nicholas Bamber, H. Kotlarski, 1997, Math. Log. Q..

On the incompleteness theorems

Henryk Kotlarski, H. Kotlarski, 1994, Journal of Symbolic Logic.