MATH
Login Or Sign up

List Question

15
212
Views

subset of dedekind infinite set is infinite

Published on
#set-theory
154
Views

Well-ordering the reals: finding a certain model of $\mathsf{ZFC}$

Published on
#logic #set-theory
375
Views

Is it known if "Homotopy type theory" (HTT) can consistently model objects beyond V?

Published on
#set-theory #foundations #homotopy-type-theory
205
Views

Existence of an axiom question in relation to $\mathsf{Infinity}$

Published on
#logic #set-theory
141
Views

Can set-theoretic forcing exist without law of excluded middle?

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

Equivalent definitions of P-Points (Ultrafilters)

Published on
#general-topology #set-theory #filters
209
Views

almost disjoint functions from $\aleph_{\omega+1}$ to $\aleph_\omega$

Published on
#set-theory #infinitary-combinatorics
304
Views

Viewing forcing as a result about countable transitive models

Published on
#set-theory #forcing
106
Views

An equivalence of AC

Published on
#set-theory #axiom-of-choice
125
Views

Defining forcing relation in base transitive model $M$

Published on
#set-theory #forcing
293
Views

Building normal filters around a stationary set

Published on
#set-theory #filters #infinitary-combinatorics
283
Views

Question about rank into rank cardinals

Published on
#set-theory #large-cardinals
477
Views

Can all theorems of $\sf ZFC$ about the natural numbers be proven in $\sf ZF$?

Published on
#set-theory #model-theory #axiom-of-choice #proof-theory
128
Views

Size of topological space depending on the size of local basis. (With elementary submodels)

Published on
#general-topology #logic #set-theory
118
Views

In axiomatic set theory every set is a "collection" of "empty sets"?

Published on
#set-theory

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.