Descriptive complexity of finite structures: Saving the quantifier rank
- 期刊名称The Journal of Symbolic Logic
- 作者Pikhurko, Oleg; Verbitsky, Oleg
- 卷第70卷
- 期第2期
- 印刷ISSN0022-4812
- 电子ISSN1943-5886
- 文件大小1877.44KB
- 发表时间2005-06
- DOI10.2178/jsl/1120224721
- 页码419-450
同期刊推荐
Instrument resolution and measurement accuracyTaraldsen, Gunnar · Metrologia · 2006
Algorithms for frequency jump detectionRiley, W J · Metrologia · 2008
Measurements of magnetic materialsFiorillo, Fausto · Metrologia · 2010
Analogies between electricity and gravityBartlett, D F · Metrologia · 2004
Atomic clocks and inertial sensorsBord , Ch J · Metrologia · 2002
Principles of "Metrological Statistics"Grabe, M · Metrologia · 1987
Software for timescale applicationsWallace, P T · Metrologia · 2011
Timescales at the BIPMArias, E F; Panfilo, G; Petit, G · Metrologia · 2011