The non-definability notion and first order logic

DOI10.1007/BF00671571zbMATH Open0679.03009OpenAlexW2062563922MaRDI QIDQ1124586FDOQ1124586

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

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

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)

Cites Work

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

Cited In (7)

• Definability and quantifier elimination for \(J_ 3\)-theories
• Reducing first-order logic to \(\mathsf{Df}_3\), free algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)