Weekly Meetings

• Date - 7th July 2011
  Time - 3:00 pm
  Speaker - Prof. V. R. Sule, Dept. of Electrical Engg IIT Bombay
  Title - Theory of Boolean equations and their solutions.
  
  
  Abstract
  The talk will present a theory of analysis of Boolean equations and discuss methods of solving them. The solutions of Boolean equations are considered over Boolean algebras and include 0,1 solutions as special cases.
  

• Date - 29th June 2011
  Time - 10:00 am
  Speaker - Vaibhav S Kulkarni
  Topic - Model Theory: Studying ∀^∗ ∃^∗ for Finite or Cofinite Spectrum
  (MTech Final Presentation)
  
  
  Abstract
  In this dissertation we study a class of FO sentences defined by a semantical property (called EBSΣ (∅)), and try to study the inclusion or exclusion of certain syntactic classes in
  EBSΣ (∅). EBSΣ (∅) comes from a family of classes of FO sentences: EBSΣ (σ), σ ⊆ Σ. Sentences in EBSΣ (σ) are preserved under substructures modulo bounded core and modulo reinterpretation of predicates in Σ\σ. EBSΣ (∅) is exactly the class of FO sentences which are unsatisfiable or have non-empty-finite or cofinite spectrum. In general, it is difficult to syntactically characterize this class, so we consider some particular classes, like ∀∃^∗ and ∀²∃, and try to analyse their relation with EBSΣ (∅).