MATH
Login Or Sign up

List Question

15
826
Views

Every elementary submodel of $H(\aleph_1)$ is transitive

Published on
#logic #set-theory #model-theory
113
Views

About the definible sets $L_\alpha$

Published on
#logic #set-theory
83
Views

Ordinal arithmetic question

Published on
#set-theory #ordinals
80
Views

Model for replacement

Published on
#logic #set-theory #large-cardinals
612
Views

The product of cardinals

Published on
#set-theory #cardinals
821
Views

A set which is $\in$-transitive and well ordered by $\in$ is an ordinal

Published on
#set-theory #ordinals
836
Views

Modal set-theory

Published on
#reference-request #logic #set-theory #modal-logic
55
Views

About a representation on cardinals

Published on
#set-theory
1.1k
Views

Are there any infinite sets that are not known to be either countable or uncountable?

Published on
#set-theory #open-problem
409
Views

Connectedness of parts used in the Banach–Tarski paradox

Published on
#measure-theory #set-theory #axiom-of-choice #connectedness #paradoxes
580
Views

How can I define $\mathbb{N}$ if I postulate existence of a Dedekind-infinite set rather than existence of an inductive set?

Published on
#set-theory #infinity #axioms #natural-numbers
197
Views

Ordered tuples of proper classes

Published on
#notation #set-theory #definition
208
Views

Meaning of "There exists a proper class of..."

Published on
#set-theory #definition
952
Views

Examples of theorems that haven't been proven without AC in practice but can be proven without it in principle

Published on
#set-theory #big-list #axiom-of-choice
100
Views

On those behaviors of continuum function which imply the axiom of choice

Published on
#set-theory #cardinals #axiom-of-choice

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.