Henryk Kotlarski - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2009

On a question of Andreas WeiermannHenryk Kotlarski, Konrad Zdanowski. mlq, 55(2):201-211, 2009. [doi]

2007

More on lower bounds for partitioning alpha-large setsHenryk Kotlarski, Bozena Piekart, Andreas Weiermann. APAL, 147(3):113-126, 2007. [doi]

2005

Some variations of the Hardy hierarchyHenryk Kotlarski, Bozena Piekart. mlq, 51(4):417-434, 2005. [doi]

2004

The incompleteness theorems after 70 yearsHenryk Kotlarski. APAL, 126(1-3):125-138, 2004. [doi]

2000

On Models Constructed by Means of the Arithmetized Completeness TheoremRichard Kaye, Henryk Kotlarski. mlq, 46(4):505-516, 2000. [doi]

Automorphisms of Models of True Arithmetic: More on Subgroups which Extend to a Maximal One UniquelyHenryk Kotlarski, Bozena Piekart. mlq, 46(1):111-120, 2000. [doi]

1998

Other Proofs of Old ResultsHenryk Kotlarski. mlq, 44:474-480, 1998.

1997

On Interstices of Countable Arithmetically Saturated Models of Peano ArithmeticNicholas Bamber, Henryk Kotlarski. mlq, 43:525-540, 1997.

1996

An Addition to Rosser s TheoremHenryk Kotlarski. JSYML, 61(1):285-292, 1996.

1995

Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant CutsHenryk Kotlarski, Bozena Piekart. mlq, 41:138-142, 1995.

Automorphisms of Countable Recursively Saturated Models of PA: a SurveyHenryk Kotlarski. ndjfl, 36(4):505-518, 1995.

1994

Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open SubgroupsHenryk Kotlarski, Richard Kaye. ndjfl, 35(1):1-14, 1994.

On the Incompleteness TheoremsHenryk Kotlarski. JSYML, 59(4):1414-1419, 1994.

Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup UniquelyBozena Piekart, Henryk Kotlarski. mlq, 40:95-102, 1994.

1993

On Maximal Subgroups of the Automorphism Group of a Countable Recursively Saturated Model of PARoman Kossak, Henryk Kotlarski, James H. Schmerl. APAL, 65(2):125-148, 1993.

1992

Game Approximations of Satisfaction Classes ModelsRoman Kossak, Henryk Kotlarski. mlq, 38(1):21-26, 1992. [doi]

1991

Automorphisms of Recursively Saturated Models of ArithmeticRichard Kaye, Roman Kossak, Henryk Kotlarski. APAL, 55(1):67-99, 1991.

Full Satisfaction Classes: A SurveyHenryk Kotlarski. ndjfl, 32(4):573-579, 1991.

1990

Inductive Full Satisfaction ClassesHenryk Kotlarski, Zygmunt Ratajczyk. APAL, 47(3):199-223, 1990.

More on induction in the language with a satisfaction classHenryk Kotlarski, Zygmunt Ratajczyk. mlq, 36(5):441-454, 1990. [doi]

1989

S)Henryk Kotlarski. mlq, 35(5):391-397, 1989. [doi]

1986

Bounded Induction and Satisfaction ClassesHenryk Kotlarski. mlq, 32(31-34):531-544, 1986. [doi]

The Recursively Saturated Part of Models of Peano ArithmeticHenryk Kotlarski. mlq, 32(19-24):365-370, 1986. [doi]

1984

Some Remarks on Initial Segments in Models of Peano ArithmeticHenryk Kotlarski. JSYML, 49(3):955-960, 1984.

1983

On Cofinal Extensions of Models of ArithmeticHenryk Kotlarski. JSYML, 48(2):253-262, 1983.

1980

On Skolem Ultrapowers and Their Non-Standard VariantHenryk Kotlarski. mlq, 26(14-18):227-236, 1980. [doi]

1973

Some Simple Results on Automorphisms of ModelsHenryk Kotlarski. bapmam, 21(6):503-508, 1973.

Sign in or sign up to see more results.

runs on WebDSL