Decidability and Definability Results Concerning Well‐Orderings and Some Extensions of First Order Logic

Research output: Contribution to journalArticle

Original languageEnglish (US)
Pages (from-to)529-536
Number of pages8
JournalMathematical Logic Quarterly
Volume26
Issue number34-35
DOIs
StatePublished - 1980
Externally publishedYes

ASJC Scopus subject areas

  • Logic

Cite this