Two theories with axioms built by means of pleonasms

DOI10.2307/2964056zbMath0078.24402OpenAlexW2038294104WikidataQ114588043 ScholiaQ114588043MaRDI QIDQ3245362

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

PhilosophyFoundationsMathematical Logic

Related Items

Recursively enumerable classes and their application to recursive sequences of formal theories ⋮ Finite Axiomatizability using additional predicates