Model theory on a positive second order logic with countable conjunctions and disjunctions

DOI10.2969/JMSJ/02510027zbMath0244.02019OpenAlexW2169854716MaRDI QIDQ2554692

Nobuyoshi Motohashi

Publication date: 1973

Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2969/jmsj/02510027

Mathematics Subject Classification ID

Other infinitary logic (03C75) Other classical first-order model theory (03C68)

Related Items (2)

A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions ⋮ Some investigations on many valued logics

This page was built for publication: Model theory on a positive second order logic with countable conjunctions and disjunctions