MATH
Login Or Sign up

List Question

15
408
Views

How does one go to prove two forcing extensions are equivalent?

Published on
#set-theory #forcing
385
Views

When collapsing a cardinal, what ordinal does it become?

Published on
#set-theory #cardinals #ordinals #forcing
4.4k
Views

A nice introduction to forcing

Published on
#reference-request #set-theory #book-recommendation #forcing
192
Views

A question about the proof that forcing extensions don't add ordinals

Published on
#set-theory #forcing
561
Views

Atoms necessary for the existence of a generic filter?

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

Question about models, cardinalities and collapsing

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

Adding Cohen reals one at a time

Published on
#set-theory #forcing
508
Views

Trying understand a move in Cohen's proof of the independence of the continuum hypothesis

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

Can we prove the completeness of FOL based on forcing?

Published on
#logic #model-theory #forcing
83
Views

A sheaf of cumulative hierarchies

Published on
#reference-request #set-theory #sheaf-theory #forcing #topos-theory
163
Views

Question about passage in Halbeisen's book

Published on
#set-theory #model-theory #forcing
350
Views

Quickie on Boolean valued models

Published on
#model-theory #forcing
182
Views

Infitive distributive law in boolean valued models

Published on
#set-theory #cardinals #boolean-algebra #forcing
365
Views

Adjoining new ordinals to a model -- a question about one of Cohen's articles

Published on
#set-theory #forcing
377
Views

Allowing addition of ordinals in 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.