Some proof theoretic-properties of dense linear orderings and countable well-orderings

DOI10.3792/pja/1195518597zbMath0343.02019OpenAlexW2033047505MaRDI QIDQ4110983

Nobuyoshi Motohashi

Publication date: 1975

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/1195518597

Mathematics Subject Classification ID

Other infinitary logic (03C75) Proof theory and constructive mathematics (03F99)

Cites Work

• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Preservation theorem and relativization theorem for cofinal extensions
• Two theorems on mix-relativization
• Unnamed Item

This page was built for publication: Some proof theoretic-properties of dense linear orderings and countable well-orderings