MATH
Login Or Sign up

List Question

15
40
Views

Can systems of set relations always be simplified to a canonical form?

Published on
#set-theory
197
Views

What uniquely characterizes equivalence classes of eventually equal binary sequences?

Published on
#set-theory #equivalence-relations #descriptive-set-theory
151
Views

For every class $C$, find the unique class of "hereditarily C sets".

Published on
#logic #set-theory
192
Views

Is the transitive closure of a class $C$ the same as the class of 'hereditarily C sets'?

Published on
#set-theory #terminology
87
Views

comparative definitions of category and set

Published on
#category-theory #set-theory #definition
375
Views

What is the standard first-order language to formalize ZFC?

Published on
#set-theory #first-order-logic #predicate-logic
458
Views

Forcing without models

Published on
#set-theory #forcing
147
Views

Is definable power sufficient to interpret ZFC?

Published on
#set-theory #first-order-logic #alternative-set-theories
803
Views

characterizing sets which are order-isomorphic to subsets of real numbers

Published on
#set-theory #order-theory
33
Views

Questions about existential quantifiers in algebra-valued models

Published on
#set-theory
168
Views

Modifying the "base" of Veblen's hierarchy to exceed $\Gamma_0$

Published on
#set-theory #ordinals #fixed-point-theorems #fixed-points #ordinal-analysis
93
Views

Surjection from proper class to ordinals

Published on
#set-theory
66
Views

defining a function recursively over the ordinals

Published on
#proof-verification #set-theory
110
Views

Forcing $\diamondsuit$

Published on
#set-theory #forcing
76
Views

Let $r\subseteq V^2$ a set-like relation, for every set $x$ there is a minimal, r-closed set $y$ that contains $x$.

Published on
#logic #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.