Given a sentence in Tagalog language, translate the sentence to English language keeping the meaning of the original sentence intact.

[EX Q]: Tagalog sentence: Sila na ginawa panayam tala, na Steklov checked, at pagkatapos ay nagkaroon sila ng mga ito print. Tamarkin at Friedmann nagtrabaho sa ibang papel sa oras na ito at ang ilang mga formula na binigay nauukol sa teorya ng function [x] at Bernoulli numero sa Crelle 's Journal.
[EX A]: They made lecture notes, which Steklov checked, and then they had them printed. Tamarkin and Friedmann worked on another paper at this time and submitted Some formulas pertaining to the theory of the function [x] and Bernoulli numbers to Crelle 's Journal.

[EX Q]: Tagalog sentence: Ang Espiritu na binanggit ni Jesus ay ang ikatatlong persona ng Trinity ng Diyos, ang Espiritu Santo.
[EX A]: The Spirit of which Jesus spoke is the third person of the Trinity of God, the Holy Spirit.

[EX Q]: Tagalog sentence: Ito ng estado na kung ang isang teorya sa loob ng unang-order na totoo calculus ay isang modelo at pagkatapos ay ito ay isang modelo ng countable.
[EX A]:
It states that if a theory within first-order predicate calculus has a model then it has a countable model.