Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik

DOI10.1007/BF02054948zbMath0042.00605MaRDI QIDQ2649133

Yanyan Li

Publication date: 1951

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/160241

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

Model theory of functors: Axiomatizability problems, On Skolemization in constrained logics, Unnamed Item, A theory of restricted quantification I, Quine's conjecture on many-sorted logic, An order-sorted logic for knowledge representation systems, MORITA EQUIVALENCE, Characterizing Mal'cev conditions, Remark on complete interpretations by models, Investigations in many-sorted quantor logic, Nonhomogeneous Polyadic Algebras, A mechanical solution of Schubert's steamroller by many-sorted resolution, Some algorithmic problems for projective planes