Absolutely independent axiomatizations for countable sets in classical logic

DOI10.1007/BF00370635zbMath0686.03005MaRDI QIDQ1262297

Joanna Grygiel

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

absolutely independent axiomatizationcountable consistent set of sentences

Mathematics Subject Classification ID

Algebraic logic (03G99) Classical propositional logic (03B05)

Related Items (1)

Explicating logical independence

Cites Work

• "Flexible" Predicates of Formal Number Theory
• Some old and new problems in the independence theory

This page was built for publication: Absolutely independent axiomatizations for countable sets in classical logic