Model-complete theories of bounded unars

DOI10.1007/BF00969326MaRDI QIDQ1102942zbMATH OpenOpenAlexFDO

Authors G. E. Puninskij

Publication date 1987

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00969326

zbMATH Keywords

\(\aleph _ 0\)- categoricityinductive theory completenessmodel completeness

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35)

Review text

Translation from Sib. Mat. Zh. 28, No.5(165), 145-148 (Russian) (1987; Zbl 0637.03023).

Recommendations

• scientific article; zbMATH DE number 4037825
• scientific article; zbMATH DE number 4104935
• scientific article; zbMATH DE number 1357425
• scientific article; zbMATH DE number 3943890
• Strongly \(\forall\)-finite theories of unars
• Model theory of bounded arithmetic with applications to independence results
• scientific article; zbMATH DE number 4012584
• Uniform arithmetical completeness of modal provability logics
• scientific article; zbMATH DE number 1231470
• Unary quantifiers on finite models

Cited in

(2)

• scientific article; zbMATH DE number 3943890 (Why is no real title available?)
• scientific article; zbMATH DE number 1231470 (Why is no real title available?)

This page was built for publication: Model-complete theories of bounded unars

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