The contribution of Zygmunt Ratajczyk to the foundations of arithmetic (Q1913625): Difference between revisions

The paper is a presentation of the life and work of the late Zygmunt Ratajczyk. His papers were devoted to the problem of expandability of models of ZF to models of KM and to the foundations of arithmetic.

0 references

reviewed by

Roman Murawski

0 references

zbMATH Keywords

Ratajczyk

0 references

foundations of arithmetic

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1305/ndjfl/1040136911

0 references

cites work

Q3863876

0 references

Q3889041

0 references

A characterization of expandability of models for ZF to models for KM

0 references

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

0 references

A combinatorial analysis of functions provably recursive in $ΙΣ_n$

0 references

Functions provably total in $I^{-}Σ_{n}$

0 references

Inductive full satisfaction classes

0 references

More on induction in the language with a satisfaction class

0 references

Arithmetical transfinite induction and hierarchies of functions

0 references

Subsystems of true arithmetic and hierarchies of functions

0 references

Identifiers

zbMATH Open document ID

0844.03001

0 references

DOI

10.1305/ndjfl/1040136911

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1913625

@@ Property / cites work @@
+Q3863876
@@ Property / cites work: Q3863876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3889041
@@ Property / cites work: Q3889041 / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of expandability of models for ZF to models for KM
+Normal rank
@@ Property / cites work @@
+Satisfaction Classes and Combinatorial Sentences Independent From <i>PA</i>
+Normal rank
@@ Property / cites work @@
+A combinatorial analysis of functions provably recursive in $ΙΣ_n$
+Normal rank
@@ Property / cites work @@
+Functions provably total in $I^{-}Σ_{n}$
@@ Property / cites work: Functions provably total in $I^{-}Σ_{n}$ / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive full satisfaction classes
@@ Property / cites work: Inductive full satisfaction classes / rank @@
+Normal rank
@@ Property / cites work @@
+More on induction in the language with a satisfaction class
+Normal rank
@@ Property / cites work @@
+Arithmetical transfinite induction and hierarchies of functions
+Normal rank
@@ Property / cites work @@
+Subsystems of true arithmetic and hierarchies of functions
+Normal rank