Zygmunt Ratajczyk

According to our database, Zygmunt Ratajczyk authored at least 4 papers between 1982 and 1993.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

1993

Subsystems of True Arithmetic and Hierarchies of Functions.

Zygmunt Ratajczyk

Ann. Pure Appl. Log., 1993

1990

More on induction in the language with a satisfaction class.

Henryk Kotlarski, Zygmunt Ratajczyk

Math. Log. Q., 1990

Inductive Full Satisfaction Classes.

Henryk Kotlarski, Zygmunt Ratajczyk

Ann. Pure Appl. Log., 1990

1982

Satisfaction Classes and Combinatorial Sentences Independent From <i>PA</i>.

Zygmunt Ratajczyk

Math. Log. Q., 1982