The non-definability notion and first order logic

DOI10.1007/BF00671571MaRDI QIDQ1124586zbMATH OpenOpenAlexFDO

Authors Michał Krynicki

Publication date 1988

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00671571

zbMATH Keywords

three-valued logicfirst order logicnon-definability

Mathematics Subject Classification ID

Many-valued logic (03B50) Classical first-order logic (03B10) Interpolation, preservation, definability (03C40)

Recommendations

• scientific article; zbMATH DE number 1082912
• scientific article; zbMATH DE number 2108199
• scientific article; zbMATH DE number 3993546
• Definability and quantifier elimination for \(J_ 3\)-theories
• Uniqueness, definability and interpolation

Cites work

• A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGIC
• On a Formalization of the Non-Definedness Notion
• Prädikatenlogik mit partiell definierten Funktionen
• Prädikatenlogik mit partiell definierten Funktionen II
• The Calculus of Partial Predicates and Its Extension to Set Theory I
• Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen

Cited in

(7)

• Definability and quantifier elimination for \(J_ 3\)-theories
• Reducing first-order logic to \(\mathsf{Df}_3\), free algebras
• scientific article; zbMATH DE number 2108199 (Why is no real title available?)
• scientific article; zbMATH DE number 176530 (Why is no real title available?)
• Non-definability of Languages by Generalized First-order Formulas over (N,+)
• Nonstandard definability
• Untestable Properties Expressible with Four First-Order Quantifiers

This page was built for publication: The non-definability notion and first order logic

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