Jonathan Stavi

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4781761	2003-02-06	Paper
On models of the elementary theory of (Z, +, 1)	1992-06-25	Paper
A semantic characterization of natural language determiners	1986-01-01	Paper
The structure of $ω_1$-like orderings	1986-01-01	Paper
Countably decomposable admissible sets	1984-01-01	Paper
Fair termination revisited - with delay	1984-01-01	Paper
Propositional dynamic logic of nonregular programs	1983-01-01	Paper
On the standard part of nonstandard models of set theory	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3953159	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3316557	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3922147	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3919713	1980-01-01	Paper
operators and alternating sentences in arithmetic	1980-01-01	Paper
L ∞λ -Equivalence, Isomorphism and Potential Isomorphism	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3893906	1978-01-01	Paper
The pure part of HYP(ℳ)	1977-01-01	Paper
δ-Logics and generalized quantifiers	1976-01-01	Paper
A model of ZF with an infinite free complete Boolean algebra	1975-01-01	Paper
Extensions of Kripke's embedding theorem	1975-01-01	Paper
Applications of a Theorem of Levy to Boolean Terms and Algebras	1975-01-01	Paper
On cardinal collapsing with reals	1974-01-01	Paper
A converse of the Barwise completeness theorem	1974-01-01	Paper
On strongly and weakly defined Boolean terms	1973-01-01	Paper

This page was built for person: Jonathan Stavi