Displaying similar documents to “Number of models of theories with many types”

Marginalization in models generated by compositional expressions

Francesco M. Malvestuto (2015)

Kybernetika

Similarity:

In the framework of models generated by compositional expressions, we solve two topical marginalization problems (namely, the single-marginal problem and the marginal-representation problem) that were solved only for the special class of the so-called “canonical expressions”. We also show that the two problems can be solved “from scratch” with preliminary symbolic computation.

On the metamathematics of impredicative set theory

W. Marek

Similarity:

CONTENTSIntroduction....................................................................................... 50. Set theory M.................................................................................. 61. Reflection principles in M.......................................................... 122. The trees....................................................................................... 183. Ordinal trees. Constructibility in M........................................... 254....

Planting Kurepa trees and killing Jech-Кunen trees in a model by using one inaccessible cardinal

Saharon Shelah, R. Jin (1992)

Fundamenta Mathematicae

Similarity:

By an ω 1 - tree we mean a tree of power ω 1 and height ω 1 . Under CH and 2 ω 1 > ω 2 we call an ω 1 -tree a Jech-Kunen tree if it has κ-many branches for some κ strictly between ω 1 and 2 ω 1 . In this paper we prove that, assuming the existence of one inaccessible cardinal, (1) it is consistent with CH plus 2 ω 1 > ω 2 that there exist Kurepa trees and there are no Jech-Kunen trees, which answers a question of [Ji2], (2) it is consistent with CH plus 2 ω 1 = ω 4 that there only exist Kurepa trees with ω 3 -many branches, which answers...