Logic of reduced power structures

DOI10.2307/2273319zbMath0511.03013OpenAlexW2005226783MaRDI QIDQ4749826

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

zbMATH Keywords

elementarily equivalentreduced powerfirst-order sentenceselementary characteristicrecursively enumerable Horn theory

Mathematics Subject Classification ID

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

Cites Work

• On subsystems of reduced powers
• Model companions and k-model completeness for the complete theories of Boolean algebras

This page was built for publication: Logic of reduced power structures