The following pages link to Henryk Kotlarski (Q598274):
Displayed 45 items.
- The incompleteness theorems after 70 years (Q598275) (← links)
- Inductive full satisfaction classes (Q920081) (← links)
- Automorphisms of recursively saturated models of arithmetic (Q1182432) (← links)
- Full satisfaction classes: A survey (Q1182694) (← links)
- On maximal subgroups of the automorphism group of a countable recursively saturated model of PA (Q1314639) (← links)
- Automorphisms of models of true arithmetic: Recognizing some basic open subgroups (Q1333303) (← links)
- Automorphisms of countable recursively saturated models of PA: A survey (Q1913626) (← links)
- A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski (Q2322259) (← links)
- More on lower bounds for partitioning \(\alpha\)-large sets (Q2373693) (← links)
- On the End Extension Problem For Δ0-PA(S) (Q3033758) (← links)
- (Q3072494) (← links)
- More on induction in the language with a satisfaction class (Q3211295) (← links)
- (Q3215215) (← links)
- On cofinal extensions of models of arithmetic (Q3322105) (← links)
- Partitioning 𝛼–large sets: Some lower bounds (Q3420352) (← links)
- More on extending automorphisms of models of Peano Arithmetic (Q3507862) (← links)
- (Q3509169) (← links)
- On a question of Andreas Weiermann (Q3619872) (← links)
- On elementary cuts in models of arithmetic (Q3661576) (← links)
- On elementary cuts in recursively saturated models of Peano Arithmetic (Q3689171) (← links)
- Some remarks on initial segments in models of Peano arithmetic (Q3691674) (← links)
- (Q3712340) (← links)
- The Recursively Saturated Part of Models of Peano Arithmetic (Q3758814) (← links)
- Bounded Induction and Satisfaction Classes (Q3758815) (← links)
- Results on automorphisms of recursively saturated models of PA (Q3812219) (← links)
- On Skolem Ultrapowers and Their Non‐Standard Variant (Q3875906) (← links)
- (Q3924204) (← links)
- Construction of Satisfaction Classes for Nonstandard Models (Q3924205) (← links)
- Some remarks on well-ordered models (Q4177551) (← links)
- (Q4192048) (← links)
- (Q4222594) (← links)
- Other Proofs of Old Results (Q4224081) (← links)
- GAME APPROXIMATIONS OF SATISFACTION CLASSES MODELS (Q4295207) (← links)
- Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely (Q4304154) (← links)
- On the incompleteness theorems (Q4323053) (← links)
- Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts (Q4323838) (← links)
- On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic (Q4366132) (← links)
- On Models Constructed by Means of the Arithmetized Completeness Theorem (Q4521125) (← links)
- (Q4700239) (← links)
- (Q4775866) (← links)
- Some combinatorics involving ξ-large sets (Q4790189) (← links)
- An addition to Rosser's theorem (Q4879914) (← links)
- (Q4882388) (← links)
- (Q4939406) (← links)
- Some variations of the Hardy hierarchy (Q5462992) (← links)