MATH
Login Or Sign up

List Question

15
255
Views

Considering a non-standard set theory

Published on
#alternative-set-theories
672
Views

Can one-element set be considered equal to its element?

Published on
#logic #formal-systems #alternative-set-theories
1.1k
Views

Positive set theory, antifoundation, and the "co-Russell set"

Published on
#logic #set-theory #foundations #alternative-set-theories
155
Views

Cardinality of the set of truth values in a Heyting-valued model of IZF

Published on
#constructive-mathematics #intuitionistic-logic #alternative-set-theories
67
Views

Are there set theories making the class-as-many and class-as-one distinction?

Published on
#alternative-set-theories
919
Views

Is there a contradiction hiding in this alternative set theory with 3 axioms?

Published on
#logic #foundations #alternative-set-theories
3.4k
Views

Why use ZF over NFU?

Published on
#set-theory #alternative-set-theories
2.2k
Views

Alternative set theories

Published on
#soft-question #set-theory #education #alternative-set-theories
77
Views

Is there an obvious inconsistency with this set theory?

Published on
#first-order-logic #alternative-set-theories
100
Views

Unique Existence In Local Set Theories

Published on
#logic #category-theory #model-theory #topos-theory #alternative-set-theories
192
Views

Substitution In Logic

Published on
#logic #category-theory #topos-theory #alternative-set-theories
86
Views

Elementary Embeddings of Transitive Models of ZFA

Published on
#set-theory #alternative-set-theories
98
Views

Does $X^A = Y^B \Longrightarrow X=Y \wedge A=B$? (ETCS)

Published on
#category-theory #alternative-set-theories
82
Views

Is there any successful approach to algebraization of set theory other than the category-theoretical approach?

Published on
#alternative-set-theories
141
Views

Set Theory without Powerset

Published on
#set-theory #alternative-set-theories

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.