Happy Holidays! Over 120,000 eBooks at just 19.99 each— Pick a favorite today

Studies in Universal Logic

Institution-independent Model Theory

Authors: Diaconescu, Razvan

  • 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 £81.00
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)

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 £81.00
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