scientific article; zbMATH DE number 6928470

zbMATH Open1394.03001MaRDI QIDQ4583932FDOQ4583932

Authors: Dirk van Dalen 

Publication date: 29 August 2018

Title of this publication is not available (Why is that?)

zbMATH Keywords

completenessintuitionistic logicnormalizationpredicate logicultraproductpropositional logicsecond-order logicGödel's incompleteness theorem

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical propositional logic (03B05) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Basic properties of first-order languages and structures (03C07) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Ultraproducts and related constructions (03C20)

Cited In (2)

• On the Concept of Following Logically
• Title not available (Why is that?)

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