๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields

โœ Scribed by Dov M. Gabbay


Book ID
124972146
Publisher
Association for Symbolic Logic
Year
1973
Tongue
English
Weight
652 KB
Volume
38
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Model-complete theories of pseudo-algebr
โœ William H. Wheeler ๐Ÿ“‚ Article ๐Ÿ“… 1979 ๐Ÿ› Elsevier Science โš– 893 KB

The model-complete, complete theories of pseudo-algebraically closed field:; arc characterized in tilis paper, For example, the theory of algebraically closca lields of a specified characteristic is a model-complete, complete theory of pseudo-algebraically closed fields. The characterization is base