×

zbMATH — the first resource for mathematics

A lattice of interpretability types of theories. (English) Zbl 0371.02026

MSC:
03G05 Logical aspects of Boolean algebras
03B99 General logic
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Fundamenta Mathematicae 72 pp 17– (1971) · Zbl 0245.01016
[2] Lattice theory, first concepts and distributive lattices (1971) · Zbl 0232.06001
[3] Fundamenta Mathematicae 49 pp 35– (1960)
[4] Distributive lattices (1975) · Zbl 0356.06019
[5] Axiomatizability by a schema 32 pp 473– (1967) · Zbl 0191.29303
[6] Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress pp 14– (1962)
[7] On spectra and the negative solution of the decision problem for identities having a finite nontrivial model 40 pp 186– (1975)
[8] Proceedings of the 5th International Congress for Logic, Philosophy and Methodology of Science
[9] DOI: 10.1017/S1446788700017122 · Zbl 0294.08004
[10] DOI: 10.1002/malq.19610070710 · Zbl 0121.25501
[11] Notices of the American Mathematical Society 9 pp 407– (1962)
[12] Fundamenta Mathematicae 47 pp 243– (1959)
[13] Theories incomparable with respect to relative interpretability 27 pp 195– (1962)
[14] What is elementary geometry? pp 16– (1959)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.