MATH
Login Or Sign up

List Question

15
159
Views

The collection of sets hereditarily definable from the ground model and generic reals

Published on
#set-theory #forcing
189
Views

Can a $\Delta_0$ formula $\varphi$ not be independent of ZFC?

Published on
#logic #set-theory #first-order-logic #forcing
162
Views

Jech Set Theory: Proof that the separative quotient of a generic set is generic

Published on
#set-theory #order-theory #forcing
311
Views

Locales as spaces of ideal/imaginary points

Published on
#forcing #constructive-mathematics #zariski-topology #locales
170
Views

Collapsing cardinal to its cofinality

Published on
#set-theory #cardinals #forcing
163
Views

The Boolean-valued model $V^B$ is extensional.

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

How does Amoeba forcing add a measure 1 set of random reals?

Published on
#measure-theory #set-theory #forcing
50
Views

Application of forcing to first-order properties of rings

Published on
#proof-verification #ring-theory #noetherian #forcing
133
Views

If $\mathbb{P}$ is an infinite notion of forcing then there is $H\subset \mathbb{P}$ such that $M[H]$ is not a model of ZFC.

Published on
#proof-verification #set-theory #forcing
95
Views

Iterated forcing and non-existance of a model $N$ such that $\langle G_n : n \in \omega \rangle \in N$ and $\text{o}(N) = \text{o}(M)$.

Published on
#set-theory #forcing
186
Views

A question on metamathematics of forcing.

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

Existence of a name which has elements with given truth values

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

Absoluteness of $\Delta_0$ formulas for Boolean-Valued models.

Published on
#set-theory #forcing
71
Views

Question on $[\mathbb{N}]^{\omega}$

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

What's a good way to get an intuition for making forcing posets?

Published on
#soft-question #set-theory #forcing

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.