The Henkin Quantifier and Real Closed Fields

Autor:	John R. Cowles
Rok vydání:	1981
Předmět:	Algebra Real closed field Logic Quantifier elimination Quantifier (linguistics) Mathematics Existentially closed model
Zdroj:	Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 27:549-555
ISSN:	1521-3870 0044-3050
DOI:	10.1002/malq.19810273107
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::5e880a409e8e83833cd1db906a2e2d25 https://doi.org/10.1002/malq.19810273107 Zobrazit plný text záznamu Plný text