Review of "Alfred Tarski: Life and Logic by Anita Burdman Feferman and Solomon Feferman", Cambridge University Press 2004
Abstract
No abstract available.
Index Terms
- Review of "Alfred Tarski: Life and Logic by Anita Burdman Feferman and Solomon Feferman", Cambridge University Press 2004
Recommendations
Feferman–Vaught Decompositions for Prefix Classes of First Order Logic
AbstractThe Feferman–Vaught theorem provides a way of evaluating a first order sentence on a disjoint union of structures by producing a decomposition of into sentences which can be evaluated on the individual structures and the results of these ...
Comments
Information & Contributors
Information
Published In
Copyright © 2006 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 March 2006
Published in SIGACT Volume 37, Issue 1
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 99Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 26 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in