Pages that link to "Item:Q923081"
From MaRDI portal
The following pages link to A consistency result of the system Z \(+\) the replacement axiom schema of \(\Sigma_ n\)-formulas (Q923081):
Displayed 1 item.
The following pages link to A consistency result of the system Z \(+\) the replacement axiom schema of \(\Sigma_ n\)-formulas (Q923081):
Displayed 1 item.