Independence proofs in predicate logic with infinitely long expressions

DOI10.2307/2964112zbMath0114.24503OpenAlexW2018616641MaRDI QIDQ5722255

Carol Karp

Publication date: 1963

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2964112

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

A reduction-principle for infinite formulas

Cites Work

• Zur Axiomatik der Verknüpfungsbereiche
• On families of mutually exclusive sets

This page was built for publication: Independence proofs in predicate logic with infinitely long expressions