On some applied first-order theories which can be represented by definitions

MaRDI QIDQ5501722zbMATH OpenFDO

Authors Vladimir I. Shalack

Publication date 14 August 2015

Full work available at URL http://www.filozof.uni.lodz.pl/bulletin/pdf/44_12_3.pdf

zbMATH Keywords

definitionpredicate calculustheory

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Recommendations

• Bases for structures and theories II.
• On first-order theories which can be represented by definitions
• First-order logic and first-order functions
• scientific article; zbMATH DE number 2152692
• Bases for structures and theories. I.

Cited in

(7)

• Bases for structures and theories II.
• On the definitional embeddability of the combinatory logic theory into the first-order predicate calculus
• On the definitional embeddability of some elementary algebraic theories into the first-order predicate calculus
• On first-order theories which can be represented by definitions
• First-order logic and first-order functions
• On a synonymy relation for extensional first order theories. II: A sufficient criterion for non synonymy. Applications
• Pairs, sets and sequences in first-order theories

This page was built for publication: On some applied first-order theories which can be represented by definitions

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