scientific article; zbMATH DE number 3891324

zbMATH Open0559.03007MaRDI QIDQ3347853FDOQ3347853

Authors: Ants Tauts 

Publication date: 1983

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

Recommendations

• scientific article; zbMATH DE number 2108199
• scientific article; zbMATH DE number 3323813
• Undecidable sentences generated by semantic paradoxes
• Logic versus Approximation
• Some proofs of independence in axiomatic set theory

zbMATH Keywords

higher order predicate logicBeth modelinfinite formulasundetermined formula

Mathematics Subject Classification ID

Large cardinals (03E55) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

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