Ranked partial structures

DOI10.2178/JSL/1067620176MaRDI QIDQ4650273zbMATH OpenOpenAlexFDO

Authors Timothy J. Carlson

Publication date 9 February 2005

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

Full work available at URL https://projecteuclid.org/euclid.jsl/1067620176

zbMATH Keywords

completeness theoremdownward Löwenheim-Skolem theoremranked partial structures

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Models of other mathematical theories (03C65)

Recommendations

• First order theories for partial models
• Quantifiers determined by partial orderings
• A generalization of abstract model theory
• scientific article; zbMATH DE number 42736
• On linearly ordered structures of finite rank

Cites work

• Accessible Independence Results for Peano Arithmetic
• scientific article; zbMATH DE number 6084400 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3739559 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• Locally finite theories
• Rapidly growing Ramsey functions

This page was built for publication: Ranked partial structures

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