scientific article; zbMATH DE number 1749187

MaRDI QIDQ4532188zbMATH OpenFDO

Authors Stewart Shapiro

Publication date 10 November 2002

zbMATH Keywords

compactnessHenkin semanticshigher-order logicLöwenheim-Skolem theoremsecond-order logicstandard semantics

Mathematics Subject Classification ID

General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• scientific article; zbMATH DE number 759545
• Higher-order logic or set theory: a false dilemma
• Higher-order semantics and extensionality
• scientific article; zbMATH DE number 3323813
• scientific article; zbMATH DE number 50939

Cited in

(11)

• Pure second-order logic
• The logic of finite order
• Boolean-valued second-order logic
• Probabilistic reasoning in a classical logic
• Probabilities on sentences in an expressive logic
• The Axiom of Choice in Second‐Order Predicate Logic
• scientific article; zbMATH DE number 759545 (Why is no real title available?)
• Theories of abstract objects without ad hoc restriction
• On the algebraization of Henkin‐type second‐order logic
• Correctness conditions for property nominalists
• Probabilistic modelling, inference and learning using logical theories

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 Q4532188)