EINE SYNTAKTISCH‐ALGEBRAISCHE METHODE ZUR KONSTRUKTION VON MODELLEN

DOI10.1002/MALQ.19810270206zbMATH Open0481.03016OpenAlexW2009788946MaRDI QIDQ3937372FDOQ3937372

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)