scientific article; zbMATH DE number 622016

MaRDI QIDQ4302602zbMATH OpenFDO

Authors Kiwamu Aoyama

Publication date 21 August 1994

zbMATH Keywords

definable setsmultiple eventually periodicsemi-base-simple

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 4204325
• scientific article; zbMATH DE number 3993564
• scientific article; zbMATH DE number 23426
• Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems
• scientific article; zbMATH DE number 4055587

Cited in

(4)

• Logically defined subsets of \(\mathbb{N}{}^ k\)
• scientific article; zbMATH DE number 4204325 (Why is no real title available?)
• scientific article; zbMATH DE number 23426 (Why is no real title available?)
• ∑ n Definable Sets without ∑ n Induction

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4302602)