scientific article; zbMATH DE number 3298833

MaRDI QIDQ5579018zbMATH OpenFDO

Authors Alfred Tarski

Publication date 1968

zbMATH Keywords

recursion theory, constructive mathematics

Cited in

(7)

• Toposes and intuitionistic theories of types
• On representations of intended structures in foundational theories
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)
• Reduction and Tarski's definition of logical consequence
• Incompleteness of boundedly axiomatizable theories
• Ontological pluralism and multi-quantificational ontology
• Mathematical developments of the incompleteness theorems

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