Jonathan Stavi

MaRDI QIDQ762059zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 1827959 (Why is no real title available?)	2003-02-06	Paper
On models of the elementary theory of (Z, +, 1) Journal of Symbolic Logic	1992-06-25	Paper
A semantic characterization of natural language determiners Linguistics and Philosophy	1986-01-01	Paper
The structure of $ω_1$-like orderings Fundamenta Mathematicae	1986-01-01	Paper
Countably decomposable admissible sets Annals of Pure and Applied Logic	1984-01-01	Paper
Fair termination revisited - with delay Theoretical Computer Science	1984-01-01	Paper
Propositional dynamic logic of nonregular programs Journal of Computer and System Sciences	1983-01-01	Paper
On the standard part of nonstandard models of set theory Journal of Symbolic Logic	1983-01-01	Paper
scientific article; zbMATH DE number 3772937 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3846836 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3735115 (Why is no real title available?)	1981-01-01	Paper
scientific article; zbMATH DE number 3732051 (Why is no real title available?)	1980-01-01	Paper
operators and alternating sentences in arithmetic Journal of Symbolic Logic	1980-01-01	Paper
L ∞λ -Equivalence, Isomorphism and Potential Isomorphism Transactions of the American Mathematical Society	1978-01-01	Paper
scientific article; zbMATH DE number 3700804 (Why is no real title available?)	1978-01-01	Paper
The pure part of HYP(ℳ) Journal of Symbolic Logic	1977-01-01	Paper
δ-Logics and generalized quantifiers Annals of Mathematical Logic	1976-01-01	Paper
A model of ZF with an infinite free complete Boolean algebra Israel Journal of Mathematics	1975-01-01	Paper
Extensions of Kripke's embedding theorem Annals of Mathematical Logic	1975-01-01	Paper
Applications of a Theorem of Levy to Boolean Terms and Algebras Transactions of the American Mathematical Society	1975-01-01	Paper
On cardinal collapsing with reals Israel Journal of Mathematics	1974-01-01	Paper
A converse of the Barwise completeness theorem Journal of Symbolic Logic	1974-01-01	Paper
On strongly and weakly defined Boolean terms Israel Journal of Mathematics	1973-01-01	Paper

Research outcomes over time

This page was built for person: Jonathan Stavi