Some restricted Lindenbaum theorems equivalent to the axiom of choice

DOI10.1007/s11787-006-0009-0zbMath1118.03045OpenAlexW2054599106WikidataQ114017262 ScholiaQ114017262MaRDI QIDQ874754

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

zbMATH Keywords

consequence operationaxiom of choice2-compactnessdeductive theoryLindenbaum extension theoremsaturated theory

Mathematics Subject Classification ID

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

Related Items (2)

Lindenbaum-type logical structures ⋮ Direct proofs of Lindenbaum conditionals

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