Ranked partial structures

DOI10.2178/jsl/1067620176zbMath1059.03032OpenAlexW2035111376MaRDI QIDQ4650273

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)

Cites Work

• Rapidly growing Ramsey functions
• Locally finite theories
• Accessible Independence Results for Peano Arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item