AC is equivalent to the coherence principle. Corrigendum to my paper “Induction principles for sets". (English)
Fundam. Inform. 93, No. 4, 353-356 (2009).
1
Satisfiability on hypergraphs. (English)
Stud. Log. 52, No.3, 393-404 (1993).
2
Some kinds of modal completeness. (English)
Stud. Log. 39, 125-141 (1980).
3
Start
Contact
Print
General Help
