Effective model theory: approach via σ-definability