Decidable regularly closed fields of algebraic numbers

Research output: Contribution to journal › Article › peer-review

Online availability

@article{a63d9e5c4c3b47a1a7ebc59780815238,

title = "Decidable regularly closed fields of algebraic numbers",

author = "{van den Dries}, Lou and Smith, {Rick L.}",

year = "1985",

doi = "10.2307/2274235",

language = "English (US)",

volume = "50",

pages = "468--475",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Association for Symbolic Logic",

number = "2",

}