Definibility in normal theories

DOI10.1007/BF02764883MaRDI QIDQ2562854zbMATH OpenOpenAlexFDO

Authors Kenneth J. Danhof, J. Richard Buchi

Publication date 1973

Published in Israel Journal of Mathematics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

General logic (03B99) Categoricity and completeness of theories (03C35) Proof theory and constructive mathematics (03F99)

Cites work

• scientific article; zbMATH DE number 3124826 (Why is no real title available?)
• scientific article; zbMATH DE number 3261595 (Why is no real title available?)
• scientific article; zbMATH DE number 3085803 (Why is no real title available?)
• Invariants of the Anti-Automorphisms of a Group
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Model Theoretic Approaches to Definability
• The theory of proportionality as an abstraction of group theory
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

Cited in

(1)

• The lattice of definability: origins, recent developments, and further directions

This page was built for publication: Definibility in normal theories

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