Addendum to “Logic of reduced power structures”

DOI10.2307/2273678zbMath0545.03014OpenAlexW2146071564MaRDI QIDQ3335763

George C. Nelson

Publication date: 1983

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

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

zbMATH Keywords

elementary equivalencefirst-order sentencereduced powerrecursively enumerable Horn theory

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Ultraproducts and related constructions (03C20)

Cites Work

• Reduced products, Horn sentences, and decision problems

This page was built for publication: Addendum to “Logic of reduced power structures”