Results 171 to 180 of about 590 (188)

ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC

Zeitschrift Für Mathematische Logik Und Grundlagen Der Mathematik, 1992
Roman Murawski
exaly  

Michael O. Rabin. On recursively enumerable and arithmetic models of set theory. The Journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), pp. 408–416.

Journal of Symbolic Logic, 1963
openaire   +1 more source

Definable sets and expansions of models of Peano arithmetic

Archive for Mathematical Logic, 1988
Roman Murawski, Murawski Roman
exaly  

A. Nerode. Arithmetically isolated sets and nonstandard models. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 105–116.

Journal of Symbolic Logic, 1967
openaire   +1 more source

Generic cuts in models of arithmetic

Mathematical Logic Quarterly, 2008
Richard Kaye
exaly  

Improving DC Coding Models of JPEG Arithmetic Coder

IEEE Signal Processing Letters, 2004
G Lakhani
exaly  

On the structure of kripke models of heyting arithmetic

Mathematical Logic Quarterly, 1993
Zoran Markovic
exaly  

The arithmetic of cuts in models of arithmetic

Mathematical Logic Quarterly, 2013
Richard Kaye
exaly  

Arithmetic coding for data compression

Proceedings of the IEEE, 1994
J S Vitter
exaly  

Kripke Models Built from Models of Arithmetic

Lecture Notes in Computer Science, 2015
exaly