MATH
Login Or Sign up

List Question

15
263
Views

When do Generic sets exist?

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

Inaccessible side-effects in MK

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

Book on the rigorous construction of logic and set theory

Published on
#logic #reference-request #set-theory #propositional-calculus
114
Views

Proof using predicate logic to show subsets from axiom schema of specification are unique

Published on
#proof-verification #set-theory #predicate-logic
116
Views

Is the "set" of all sets which contain $1$ a set?

Published on
#set-theory #axioms
310
Views

The powerset as a function

Published on
#logic #set-theory #axioms
166
Views

Is $\omega_1^{CK}$ recursively enumerable?

Published on
#set-theory #ordinals
174
Views

Does the existence of a merely finitely additive probability on a Boolean algebra require axioms beyond ZF?

Published on
#probability-theory #measure-theory #set-theory #axiom-of-choice
372
Views

Existence of an inner model of ZFC implies $Con(ZFC)$?

Published on
#logic #set-theory #foundations #incompleteness
413
Views

Proving the set of non-increasing finite sequences of natural numbers is well-ordered

Published on
#set-theory #well-orders
205
Views

Does it exist a "recursively infinite" set?

Published on
#set-theory #infinity
234
Views

On minimum cardinality of generating sets of modules

Published on
#ring-theory #commutative-algebra #modules #set-theory #cardinals
71
Views

Characterize the set $E$ such that $E$ and $E^\mathbb{N}$ are equipotent

Published on
#set-theory #cardinals
63
Views

Let $A$ be a set such that each member of $A$ is a non-empty set. Then $A \times X \neq x$ for all $X \in A, x \in \bigcup A$.

Published on
#set-theory
370
Views

Strong limit cardinals below the first inaccessible

Published on
#set-theory #cardinals

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.