Independent Sets of Axioms In Lκα

DOI10.4153/CMB-1981-034-xzbMath0457.03035OpenAlexW2741800307WikidataQ114573393 ScholiaQ114573393MaRDI QIDQ3905264

Xavier Caicedo

Publication date: 1981

Published in: Canadian Mathematical Bulletin (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4153/cmb-1981-034-x

zbMATH Keywords

independent axiomatization

Mathematics Subject Classification ID

Other infinitary logic (03C75) Abstract model theory (03C95)

Related Items (1)

Independently axiomatizable ℒ_ω1,ω theories

This page was built for publication: Independent Sets of Axioms In L_κα