Concerning a problem of H. Scholz

DOI10.1002/malq.19560021007zbMath0074.24901OpenAlexW2143272867MaRDI QIDQ3239287

Andrzej Mostowski

Publication date: 1956

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

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

zbMATH Keywords

Philosophy and Foundations of Mathematics

Related Items

Finite Axiomatizability using additional predicates, First-order spectra with one variable, Andrzej Mostowski and the Notion of a Model, In memory of Andrzej Mostowski, Turing machines and the spectra of first-order formulas