##### This article has been cited by the following publications. This list is generated based on data provided by Crossref.

*Boolean-valued set theory and forcing*. Synthese, Vol. 33, Issue. 2-4, p. 223.

*Provability interpretations of modal logic*. Israel Journal of Mathematics, Vol. 25, Issue. 3-4, p. 287.

*Refuting ehrenfeucht conjecture on rigid models*. Israel Journal of Mathematics, Vol. 25, Issue. 3-4, p. 273.

*Decomposing uncountable squares to countably many chains*. Journal of Combinatorial Theory, Series A, Vol. 21, Issue. 1, p. 110.

*Non-Classical Logics, Model Theory, And Computability*. Vol. 89, Issue. , p. 117.

*Models with second order properties I. Boolean algebras with no definable automorphisms*. Annals of Mathematical Logic, Vol. 14, Issue. 1, p. 57.

*Forcing with tagged trees*. Annals of Mathematical Logic, Vol. 15, Issue. 1, p. 55.

*On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75)*. Mathematical Logic Quarterly, Vol. 24, Issue. 19-24, p. 291.

*Surrealist landscape with figures (a survey of recent results in set theory)*. Periodica Mathematica Hungarica, Vol. 10, Issue. 2-3, p. 109.

*On two problems of Harvey Friedman*. Studia Logica, Vol. 38, Issue. 3, p. 247.

*Example of anω 1-categorical complete finitely axiomatizable theory*. Algebra and Logic, Vol. 19, Issue. 3, p. 202.

*The Hanf number of 𝐿_{𝜔₁𝜔₁}*. Proceedings of the American Mathematical Society, Vol. 79, Issue. 2, p. 294.

*Counting the number of equivalence classes of Borel and coanalytic equivalence relations*. Annals of Mathematical Logic, Vol. 18, Issue. 1, p. 1.

*Applications of Many‐Sorted Robinson Consistency Theorem*. Mathematical Logic Quarterly, Vol. 27, Issue. 11-12, p. 181.

*Splitting properties and jump classes*. Israel Journal of Mathematics, Vol. 39, Issue. 3, p. 210.

*Admissible rules for pretable modal logics*. Algebra and Logic, Vol. 20, Issue. 4, p. 291.

*Robinson’s consistency theorem in soft model theory*. Transactions of the American Mathematical Society, Vol. 263, Issue. 1, p. 231.

*Iterated forcing and changing cofinalities*. Israel Journal of Mathematics, Vol. 40, Issue. 1, p. 1.

*Dynamical Systems and Turbulence, Warwick 1980*. Vol. 898, Issue. , p. 154.

*Turing machine computations in finitely axiomatizable theories*. Algebra and Logic, Vol. 21, Issue. 4, p. 272.