Picture water droplets

Developing mathematical theories of the physical world: Open Access research on fluid dynamics from Strathclyde

Strathprints makes available Open Access scholarly outputs by Strathclyde's Department of Mathematics & Statistics, where continuum mechanics and industrial mathematics is a specialism. Such research seeks to understand fluid dynamics, among many other related areas such as liquid crystals and droplet evaporation.

The Department of Mathematics & Statistics also demonstrates expertise in population modelling & epidemiology, stochastic analysis, applied analysis and scientific computing. Access world leading mathematical and statistical Open Access research!

Explore all Strathclyde Open Access research...

A finite axiomatisation of inductive-inductive definitions

Nordvall Forsberg, Fredrik and Setzer, Anton (2012) A finite axiomatisation of inductive-inductive definitions. In: Logic, Construction, Computation. Ontos mathematical logic, 3 . De Gruyter, 259 - 287. ISBN 9783110324921

Full text not available in this repository. Request a copy from the Strathclyde author

Abstract

Induction-induction is a priciple for mutually defining data types A : Set and B : A Set. Both A and B are defined inductively, and the constructors for A can refer to B and vice versa.