Some theorems on definability and decidability

DOI10.2307/2267689zbMath0047.00901OpenAlexW2021832536MaRDI QIDQ5812178

W. V. Quine

Publication date: 1952

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2267689

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (5)

Succinct definitions in the first order theory of graphs ⋮ First-order modal theories ⋮ Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen ⋮ Interpretierbarkeit in der Gruppentheorie ⋮ Reduction of the decision problem of the first order predicate calculus to reflexive and symmetrical binary predicates

Cites Work

• Definability and decision problems in arithmetic
• A reduction in the number of primitive ideas of arithmetic
• On the logic of quantification

This page was built for publication: Some theorems on definability and decidability