Two theories with axioms built by means of pleonasms

DOI10.2307/2964056MaRDI QIDQ3245362zbMATH OpenOpenAlexWikidataFDO

Authors Andrzej Ehrenfeucht

Publication date 1957

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2964056

zbMATH Keywords

FoundationsMathematical LogicPhilosophy

Cited in

(3)

• Finite Axiomatizability using additional predicates
• Recursively enumerable classes and their application to recursive sequences of formal theories
• Certified _1-sentences

This page was built for publication: Two theories with axioms built by means of pleonasms

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