Two theorems on mix-relativization

DOI10.3792/pja/1195519396zbMath0289.02011OpenAlexW1990755461MaRDI QIDQ4777258

Nobuyoshi Motohashi

Publication date: 1973

Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3792/pja/1195519396

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (2)

An Interpolation Theorem ⋮ Some proof theoretic-properties of dense linear orderings and countable well-orderings

Cites Work

• Unnamed Item
• An extended relativization theorem

This page was built for publication: Two theorems on mix-relativization