MATH
Login Or Sign up

List Question

15
64
Views

Forcing: a notion of revised game

Published on
#set-theory #model-theory #game-theory #forcing
167
Views

Why is MA not provable from ZFC?

Published on
#set-theory #axioms #forcing #infinitary-combinatorics
41
Views

p point: an origin of the acronym

Published on
#terminology #forcing
191
Views

Could the "post-forcing continuum" be a new cardinality?

Published on
#logic #set-theory #axiom-of-choice #forcing
234
Views

Comparing the cardinalities of generic $\mathbb{R}$s

Published on
#logic #set-theory #axiom-of-choice #descriptive-set-theory #forcing
163
Views

Does modal replacement hold in modal logic of forcing?

Published on
#set-theory #forcing #modal-logic
251
Views

Property ccc of the random real forcing

Published on
#set-theory #forcing
103
Views

Measure of an antichain of the Random forcing

Published on
#set-theory #forcing
106
Views

Counting the number of names for elements of a certain name.

Published on
#set-theory #forcing
79
Views

Downward preserving the ccc-ness of a poset between generic extensions.

Published on
#set-theory #forcing
463
Views

Why does $\mathsf{HOD}^{V[G]} \subseteq \mathsf{HOD}^V$ hold for weakly homogeneous forcings?

Published on
#set-theory #forcing
148
Views

Countably closed forcings preserves $\diamondsuit$ sequence

Published on
#forcing #infinitary-combinatorics
332
Views

Shooting a club through a stationary set

Published on
#forcing
139
Views

Is every c.c.c. non-atomic partial order of size $\omega_1$ a union of countable complete suborders?

Published on
#set-theory #boolean-algebra #forcing
6.6k
Views

An informal description of forcing.

Published on
#set-theory #forcing

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.