scientific article; zbMATH DE number 3920432

MaRDI QIDQ3695246zbMATH OpenFDO

Authors Aldo Bressan

Publication date 1982

zbMATH Keywords

first-order language with operatorssynonymyterms

Mathematics Subject Classification ID

Classical first-order logic (03B10) Categoricity and completeness of theories (03C35) Other classical first-order model theory (03C68)

Recommendations

• Notes on the theory of variable binding term operators
• On first-order theories with provability operator
• Generalized decomposability notions for first-order theories
• scientific article; zbMATH DE number 1058172
• scientific article; zbMATH DE number 1555193
• First-order concatenation theory with bounded quantifiers
• First-order interpretations of bounded expansion classes
• First-order interpretations of bounded expansion classes
• An algebraic generalization of Frege structures -- binding algebras
• scientific article; zbMATH DE number 1870422

Cited in

(2)

• On a synonymy relation for extensional first order theories. I: A notion of synonymy
• On a synonymy relation for extensional first order theories. III: A necessary and sufficient condition for synonymy

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 Q3695246)