The Henkin Quantifier and Real Closed Fields

DOI10.1002/MALQ.19810273107zbMath0505.03015OpenAlexW2148286479MaRDI QIDQ4740553

John Cowles

Publication date: 1981

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19810273107

zbMATH Keywords

Henkin quantifierreal closed fieldsMalitz quantifiersArchimedean fieldsHaertig quantifierRecher quantifier

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Logic with extra quantifiers and operators (03C80)

Related Items (2)

The Härtig quantifier: a survey ⋮ Henkin and function quantifiers

This page was built for publication: The Henkin Quantifier and Real Closed Fields