Axiomatizability by a schema

DOI10.2307/2270175MaRDI QIDQ5585387zbMATH OpenOpenAlexFDO

Authors R. Vaught

Publication date 1967

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

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

zbMATH Keywords

algebraic logic, model theory

Cited in

(20)

• A note on typed truth and consistency assertions
• On the degrees of unsolvability of modal predicate logics of provability
• Sequence encoding without induction
• On expandability of models of Peano arithmetic. III
• Weak sequential theories of finite full binary trees
• More on Systems of Truth and Predicative Comprehension
• Friedman-reflexivity
• The second incompleteness theorem and bounded interpretations
• A lattice of interpretability types of theories
• Pairs, sets and sequences in first-order theories
• Certified _1-sentences
• The theory of hereditarily bounded sets
• Cuts, consistency statements and interpretations
• Peano Corto and Peano Basso: a study of local induction in the context of weak theories
• AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
• Pour-El's landscape
• Finite mathematics.
• CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
• There are no minimal effectively inseparable theories
• The peripatetic program in categorical logic: Leibniz on propositional terms

This page was built for publication: Axiomatizability by a schema

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