Working in a fixed Grothendieck topos Sh(C, JC) we generalize L∞,ω\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${\mathcal{L}_{{\infty},\omega}}$$\end{document} to allow our languages and formulas to make explicit reference to Sh(C, JC). We likewise generalize the notion of model. We then show how to encode these generalized structures by models of a related sentence of L∞,ω\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${\mathcal{L}_{{\infty},\omega}}$$\end{document} in the category of sets and functions. Using this encoding we prove analogs of several results concerning L∞,ω\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${\mathcal{L}_{{\infty},\omega}}$$\end{document}, such as the downward Löwenheim–Skolem theorem, the completeness theorem and Barwise compactness.
