Some restricted Lindenbaum theorems equivalent to the axiom of choice

DOI10.1007/S11787-006-0009-0zbMATH Open1118.03045OpenAlexW2054599106WikidataQ114017262 ScholiaQ114017262MaRDI QIDQ874754FDOQ874754

Authors: David W. Miller 

Publication date: 10 April 2007

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

Full work available at URL: https://doi.org/10.1007/s11787-006-0009-0

Recommendations

• scientific article; zbMATH DE number 2015286
• Łoś's theorem and the axiom of choice
• Direct proofs of Lindenbaum conditionals
• scientific article; zbMATH DE number 1874099
• Lindenbaum's lemma via open induction

zbMATH Keywords

axiom of choiceconsequence operation2-compactnessdeductive theoryLindenbaum extension theoremsaturated theory

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Axiom of choice and related propositions (03E25)

Cited In (5)

• Title not available (Why is that?)
• Lindenbaum-type logical structures
• Direct proofs of Lindenbaum conditionals
• Lindenbaum's lemma via open induction
• On some Theorems Equivalent with the Axiom of Choice

This page was built for publication: Some restricted Lindenbaum theorems equivalent to the axiom of choice

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