Independent axiomatizability of sets of sentences

DOI10.1016/0168-0072(89)90034-1zbMath0687.03015MaRDI QIDQ1262853

Piotr Wojtylak

Publication date: 1989

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(89)90034-1

zbMATH Keywords

independent axiomatization

Mathematics Subject Classification ID

03B99: General logic

Related Items

The pleasures of anticipation: Enriching intuitionistic logic, Classes of valuations closed under operations Galois-dual to Boolean sentence connectives, Properties of the logical consequence operation and its relationship with the independence of propositional logic, Explicating logical independence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Choice and well-ordering
• Lindenbaum algebras of intuitionistic theories and free categories
• Covers in lattices of quasivarieties and independent axiomatizability
• Basic properties of deductive systems based on nonclassical logics. Part I, II
• Undecidable theories
• Some applications of formalized consistency proofs
• On the quantificational logic of intuitionistic set theory
• Some old and new problems in the independence theory
• Independent Axiomatization and its Relation to the Hypersimple Set
• Systems of Logic Based on Ordinals^†
• The role of the axiom of induction in elementary arithmetic
• On axiomatizability within a system
• Models of axiomatic systems
• A Theorem on Hypersimple Sets