MATH
Login Or Sign up

List Question

15
159
Views

Minimal model over forcing iteration

Published on
#set-theory #forcing
596
Views

Forcing homeomorphism

Published on
#general-topology #set-theory #forcing
88
Views

Question about the proof of Lemma 14.19 (Maximum Principle) in Jech's Set Theory

Published on
#set-theory #boolean-algebra #forcing
205
Views

The proof of Generic Model Theorem (14.5) in Jech's Set Theory p.218

Published on
#set-theory #boolean-algebra #filters #forcing
734
Views

Simple applications of forcing in recursion theory?

Published on
#logic #soft-question #set-theory #computability #forcing
489
Views

Rudimentary results in iterated forcing.

Published on
#general-topology #set-theory #forcing
185
Views

Exercises for continuum hypothesis and forcing

Published on
#logic #reference-request #set-theory #forcing
114
Views

Possibility of preserving the ultrafilter on $\mathcal{P}_{\kappa}(\lambda)$ in V[G] after forcing with a <$\kappa$ directed closed poset?

Published on
#set-theory #filters #forcing #large-cardinals
185
Views

"Synthetic" proof of a theorem about nice names.

Published on
#set-theory #forcing
112
Views

If $G$ is $P$-generic over $V$ and $G^*$ is $j''P$-generic over $M$ then $j$ can be extended to $V[G]$.

Published on
#set-theory #forcing #large-cardinals
129
Views

Normality of some generic ultrafilter

Published on
#set-theory #forcing #large-cardinals
200
Views

Names of minimal rank and minimal cardinality.

Published on
#logic #set-theory #forcing
102
Views

Understanding a function $F$ from the Cartesian product $\aleph^{M}_2\times \aleph_0$ into the set $2=\{0, 1\}$

Published on
#set-theory #forcing
107
Views

The possibility and meaning of $u(x) <_B \parallel x \in u \parallel^B$ when forcing with $B$

Published on
#set-theory #boolean-algebra #forcing
87
Views

Question regarding Paraconistent valued models

Published on
#logic #set-theory #boolean-algebra #forcing #alternative-set-theories

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.