EINE SYNTAKTISCH‐ALGEBRAISCHE METHODE ZUR KONSTRUKTION VON MODELLEN

DOI10.1002/MALQ.19810270206MaRDI QIDQ3937372zbMATH OpenOpenAlexFDO

Authors M. Rodríguez Artalejo

Publication date 1981

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19810270206

zbMATH Keywords

Koenig's lemmaconstructive proofs of classical theorems of the first order calculusHintikka formulas and sets in the construction of models

Mathematics Subject Classification ID

Other model constructions (03C30)

This page was built for publication: EINE SYNTAKTISCH‐ALGEBRAISCHE METHODE ZUR KONSTRUKTION VON MODELLEN

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