The Standard Model as an inductive object: class of admissible models, synthesis with OST and reduction verication | Synapse