The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

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...