A converse of the Barwise completeness theorem

DOI10.2307/2271985zbMath0308.02015OpenAlexW2114727102MaRDI QIDQ4065505

Jonathan Stavi

Publication date: 1974

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271985

Mathematics Subject Classification ID

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

Related Items (1)

Rudimentary recursion, gentle functions and provident sets

This page was built for publication: A converse of the Barwise completeness theorem