Absolutely independent axiomatizations for countable sets in classical logic

DOI10.1007/BF00370635MaRDI QIDQ1262297zbMATH OpenFDO

Authors Joanna Grygiel

Publication date 1989

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00370635

zbMATH Keywords

absolutely independent axiomatizationcountable consistent set of sentences

Mathematics Subject Classification ID

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

Review text

In (classical) propositional logic, a set A of sentences is called absolutely independent if for any ordered partition \(<A_ 1,A_ 2>\) of A, the set \(A_ 1\cup \{\neg p|\) \(p\in A_ 2\}\) is consistent. It is shown that a countable consistent set of sentences has always an absolutely independent axiomatization.

Recommendations

• Independence of countable sets of formulas of the propositional logic.
• scientific article; zbMATH DE number 622495
• scientific article; zbMATH DE number 682472
• Independence-friendly logic and axiomatic set theory
• Independent axiomatizability of sets of sentences

Cites work

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

Cited in

(11)

• Independent axiomatizability of sets of sentences
• Explicating logical independence
• Independence of countable sets of formulas of the propositional logic.
• Some proofs of independence in axiomatic set theory
• scientific article; zbMATH DE number 622495 (Why is no real title available?)
• scientific article; zbMATH DE number 682472 (Why is no real title available?)
• Theories of truth for countable languages which conform to classical logic
• Deduktiv abgeschlossene Mengen ohne Basis
• A system of completely independent axioms for the sequence of natural numbers
• On consistent subsets of large sets of satisfiable sentences
• Independence-friendly logic and axiomatic set theory

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1262297)