Save today: Get 40% off Social Science print books or $30 off eBooks in Engineering & Energy!

Studies in Universal Logic

Institution-independent Model Theory

Authors: Diaconescu, Razvan

Free Preview
  • Presents a novel approach to model theory beyond any commitment to concrete particular logics
  • Develops a new top-down methodology for doing model theory leading to important theoretical consequences
  • Within the rather large institution theory literature this is the first book dedicated to model theory
  • Gathers together in a unitary way important works in the area published through various journals or even yet unpublished
see more benefits

Buy this book

eBook £63.99
price for United Kingdom (gross)
  • ISBN 978-3-7643-8708-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover £79.99
price for United Kingdom (gross)
  • ISBN 978-3-7643-8707-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained.

Table of contents (15 chapters)

Table of contents (15 chapters)

Buy this book

eBook £63.99
price for United Kingdom (gross)
  • ISBN 978-3-7643-8708-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover £79.99
price for United Kingdom (gross)
  • ISBN 978-3-7643-8707-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Institution-independent Model Theory
Authors
Series Title
Studies in Universal Logic
Copyright
2008
Publisher
Birkhäuser Basel
Copyright Holder
Birkhäuser Basel
eBook ISBN
978-3-7643-8708-2
DOI
10.1007/978-3-7643-8708-2
Softcover ISBN
978-3-7643-8707-5
Series ISSN
2297-0282
Edition Number
1
Number of Pages
XI, 376
Topics