A reduction-principle for infinite formulas

DOI10.1007/BF01470822zbMath0114.24504MaRDI QIDQ2625364

Erwin Engeler

Publication date: 1963

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

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

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Engeler's scientific work

Cites Work

• A formal system of first-order predicate calculus with infinitely long expressions
• On the metamathematics of algebra
• Independence proofs in predicate logic with infinitely long expressions
• Remarks on predicate logic with infinitely long expressions

This page was built for publication: A reduction-principle for infinite formulas