The Axiom of Choice in Second‐Order Predicate Logic
From MaRDI portal
Publication:4315328
DOI10.1002/MALQ.19940400410zbMATH Open0811.03034OpenAlexW2122650439WikidataQ114696403 ScholiaQ114696403MaRDI QIDQ4315328
Publication date: 8 December 1994
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19940400410
Related Items (4)
A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC ⋮ Infinity, choice, and Hume's principle ⋮ A NORMAL FORM THEOREM FOR SECOND-ORDER CLASSICAL LOGIC WITH AN AXIOM OF CHOICE ⋮ Two roads to the successor axiom
This page was built for publication: The Axiom of Choice in Second‐Order Predicate Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4315328)
