scientific article; zbMATH DE number 3737612

MaRDI QIDQ3924152zbMATH OpenFDO

Authors Günter Asser

Publication date 1981

zbMATH Keywords

model theory of first order logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10)

Cited in

(3)

• A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC
• TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE
• Infinity, choice, and Hume's principle

This page was built for publication:

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