Henryk Kotlarski

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2009
j21		Henryk Kotlarski, Konrad Zdanowski: On a question of Andreas Weiermann. Math. Log. Q. 55(2): 201-211 (2009)
	2007
j20		Henryk Kotlarski, Bozena Piekart, Andreas Weiermann: More on lower bounds for partitioning alpha-large sets. Ann. Pure Appl. Logic 147(3): 113-126 (2007)
	2005
j19		Henryk Kotlarski, Bozena Piekart: Some variations of the Hardy hierarchy. Math. Log. Q. 51(4): 417-434 (2005)
	2004
j18		Henryk Kotlarski: The incompleteness theorems after 70 years. Ann. Pure Appl. Logic 126(1-3): 125-138 (2004)
	2000
j17		Henryk Kotlarski, Bozena Piekart: Automorphisms of Models of True Arithmetic: More on Subgroups which Extend to a Maximal One Uniquely. Math. Log. Q. 46(1): 111-120 (2000)
j16		Richard Kaye, Henryk Kotlarski: On Models Constructed by Means of the Arithmetized Completeness Theorem. Math. Log. Q. 46(4): 505-516 (2000)
	1998
j15		Henryk Kotlarski: Other Proofs of Old Results. Math. Log. Q. 44: 474-480 (1998)
	1997
j14		Nicholas Bamber, Henryk Kotlarski: On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic. Math. Log. Q. 43: 525-540 (1997)
	1996
j13		Henryk Kotlarski: An Addition to Rosser's Theorem. J. Symb. Log. 61(1): 285-292 (1996)
	1995
j12		Henryk Kotlarski, Bozena Piekart: Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts. Math. Log. Q. 41: 138-142 (1995)
j11		Henryk Kotlarski: Automorphisms of Countable Recursively Saturated Models of PA: a Survey. Notre Dame Journal of Formal Logic 36(4): 505-518 (1995)
	1994
j10		Henryk Kotlarski: On the Incompleteness Theorems. J. Symb. Log. 59(4): 1414-1419 (1994)
j9		Bozena Piekart, Henryk Kotlarski: Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely. Math. Log. Q. 40: 95-102 (1994)
j8		Henryk Kotlarski, Richard Kaye: Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups. Notre Dame Journal of Formal Logic 35(1): 1-14 (1994)
	1993
j7		Roman Kossak, Henryk Kotlarski, James H. Schmerl: On Maximal Subgroups of the Automorphism Group of a Countable Recursively Saturated Model of PA. Ann. Pure Appl. Logic 65(2): 125-148 (1993)
	1991
j6		Richard Kaye, Roman Kossak, Henryk Kotlarski: Automorphisms of Recursively Saturated Models of Arithmetic. Ann. Pure Appl. Logic 55(1): 67-99 (1991)
j5		Henryk Kotlarski: Full Satisfaction Classes: A Survey. Notre Dame Journal of Formal Logic 32(4): 573-579 (1991)
	1990
j4		Henryk Kotlarski, Zygmunt Ratajczyk: Inductive Full Satisfaction Classes. Ann. Pure Appl. Logic 47(3): 199-223 (1990)
	1984
j3		Henryk Kotlarski: Some Remarks on Initial Segments in Models of Peano Arithmetic. J. Symb. Log. 49(3): 955-960 (1984)
	1983
j2		Henryk Kotlarski: On Cofinal Extensions of Models of Arithmetic. J. Symb. Log. 48(2): 253-262 (1983)
	1973
j1		Henryk Kotlarski: Some Simple Results on Automorphisms of Models. Bull. Acad. Polon. Sci., Sér. Sci. Math. Astronom. Phys. 21(6): 503-508 (1973)

Coauthor Index

1	Nicholas Bamber	[j14]
2	Richard Kaye	[j16] [j8] [j6]
3	Roman Kossak	[j7] [j6]
4	Bozena Piekart	[j20] [j19] [j17] [j12] [j9]
5	Zygmunt Ratajczyk	[j4]
6	James H. Schmerl	[j7]
7	Andreas Weiermann	[j20]
8	Konrad Zdanowski	[j21]

Colors in the list of coauthors

Last update Sat May 18 23:55:38 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page