A non-standard inductive semantics