MATH
Login Or Sign up

List Question

15
91
Views

Master Conditions Clarification

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

Questions on Jech's proof of the independence of AC from the ordering principle

Published on
#set-theory #axiom-of-choice #forcing
48
Views

Homogeneity of Lévy Collapse

Published on
#logic #set-theory #boolean-algebra #foundations #forcing
117
Views

Forcing to add a $\square_\lambda$-sequence is $\mathrm{<}\lambda^+$-strategically closed

Published on
#set-theory #forcing #infinitary-combinatorics
78
Views

Linear ordering of reals in Cohen's first model

Published on
#set-theory #axiom-of-choice #forcing
70
Views

Necessity of Axiom of Choice for unordered pairs of real subsets.

Published on
#set-theory #axiom-of-choice #forcing
111
Views

Explanation of last step in proof of Lemma 4.2 in paper "An Axiomatic Approach to Forcing in a General Setting"

Published on
#proof-explanation #forcing
46
Views

Proof that P-Names allow the generation of all sets derivable from G in M[G]

Published on
#set-theory #forcing
90
Views

Why can we not use Cohen forcing to force the continuum to be $\aleph_{\omega}$?

Published on
#set-theory #forcing
212
Views

Ultrafilters used in Boolean-Valued Forcing

Published on
#logic #set-theory #foundations #forcing
1.2k
Views

Examples of first-order claims about the reals that are not preserved under forcing

Published on
#set-theory #real-numbers #forcing
65
Views

$\Delta$-system Lemma to disprove existence of an uncountable antichain?

Published on
#set-theory #forcing
59
Views

An exercise regarding Martin's Axiom

Published on
#set-theory #forcing
44
Views

Why take separative quotient in forcing?

Published on
#set-theory #forcing
103
Views

Is the dominating number of this continuum graph a small cardinal?

Published on
#graph-theory #set-theory #cardinals #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.