Filtering formulas

DOI10.1007/BF02018740zbMath0790.03034OpenAlexW4214510165MaRDI QIDQ2366367

A. I. Omarov

Publication date: 29 June 1993

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02018740

zbMATH Keywords

reduced product\(h\)-formulas\(P\)-formulafiltered formulavaluation in a complete continuous lattice

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (1)

A.D. Taimanov and model theory in Kazakhstan

Cites Work

• Unnamed Item
• Orthogonal completeness and algebraic systems
• Sheaf Constructions and Their Elementary Properties

This page was built for publication: Filtering formulas