Works by Henryk Kotlarski

Search plugin for Firefox and Explorer Shop for books using PhilPapers

Works by Henryk Kotlarski ( view other items matching `Henryk Kotlarski`, view all matches )

7 found

Sort by:

Henryk Kotlarski (1996). An Addition to Rosser's Theorem. Journal of Symbolic Logic 61 (1):285-292.
For a primitive recursive consistent and strong enough theory T we construct an independent statement which has some clear metamathematical meaning.
Logic and Philosophy of Logic
Polish Philosophy in European Philosophy
Direct download (3 more)

My bibliography

Export citation
Henryk Kotlarski (1995). Automorphisms of Countable Recursively Saturated Models of PA: A Survey. Notre Dame Journal of Formal Logic 36 (4):505-518.
Logic and Philosophy of Logic
Direct download (2 more)

My bibliography

Export citation
Henryk Kotlarski (1994). On the Incompleteness Theorems. Journal of Symbolic Logic 59 (4):1414-1419.
We give new proofs of both incompleteness theorems. We do not use the diagonalization lemma, but work with some quickly growing functions instead.
Logic and Philosophy of Logic
Polish Philosophy in European Philosophy
Direct download (3 more)

My bibliography

Export citation
Henryk Kotlarski & Richard Kaye (1994). Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups. Notre Dame Journal of Formal Logic 35 (1):1-14.
Logic and Philosophy of Logic
Direct download (2 more)

My bibliography

Export citation
Henryk Kotlarski (1991). Full Satisfaction Classes: A Survey. Notre Dame Journal of Formal Logic 32 (4):573-579.
Logic and Philosophy of Logic
Direct download (2 more)

My bibliography

Export citation
Henryk Kotlarski (1984). Some Remarks on Initial Segments in Models of Peano Arithmetic. Journal of Symbolic Logic 49 (3):955-960.
If $M \models PA (= Peano Arithmetic)$ , we set $A^M = \{N \subset_e M: N \models PA\}$ and study this family.
Logic and Philosophy of Logic
Polish Philosophy in European Philosophy
Direct download (3 more)

My bibliography

Export citation
Henryk Kotlarski (1983). On Cofinal Extensions of Models of Arithmetic. Journal of Symbolic Logic 48 (2):253-262.
We study cofinal extensions of models of arithmetic, in particular we show that some properties near to expandability are preserved under cofinal extensions.
Logic and Philosophy of Logic
Polish Philosophy in European Philosophy
Direct download (3 more)

My bibliography

Export citation

Off-campus access

Using PhilPapers from home?

Click here to configure this browser for off-campus access.

Monitor this page

Be alerted of all new items appearing on this page. Choose how you want to monitor it:

RSS feed

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Online research in philosophy

Works by Henryk Kotlarski ( view other items matching `Henryk Kotlarski`, view all matches )