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

zbMATH Open1357.03037MaRDI QIDQ5501722FDOQ5501722

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

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.

zbMATH Keywords

definitiontheorypredicate calculus

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Cited In (7)

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

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)