EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Exx Set theory
03E45 Inner models, including constructibility, ordinal definability, and core models

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 4 of 4

Δ₁-Definability of the non-stationary ideal at successor cardinals

Sy-David Friedman, Liuzhen Wu, Lyubomyr Zdomskyy (2015)

Fundamenta Mathematicae

Assuming V = L, for every successor cardinal κ we construct a GCH and cardinal preserving forcing poset ℙ ∈ L such that in $L^{ℙ}$ the ideal of all non-stationary subsets of κ is Δ₁-definable over H(κ⁺).

$Π_{2}$ - Théorie des ensembles

J.-F. Pabion (1982)

Annales scientifiques de l'Université de Clermont. Mathématiques

О числе моделей в $L_{\infty, ω_{1}}$ -теориях. II

Е.А. Палютин (1977)

Algebra i Logika

Построение определимых степеней конструктивности.

Б.Л. Будинас (1981)

Sibirskij matematiceskij zurnal

Currently displaying 1 – 4 of 4