MATH
Login Or Sign up

List Question

15
344
Views

Examples for intensional set theories.

Published on
#reference-request #alternative-set-theories
257
Views

Is $\mathcal{P}(\omega)$ bigger than $\omega$ in $NFU$ + infinity?

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

How much maths can we do in NF(U)?

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

ZF Set Theory and Law of the Excluded Middle

Published on
#logic #set-theory #constructive-mathematics #alternative-set-theories
56
Views

How much actual computer mathematics programs can be done in this extremely weak concrete set theory?

Published on
#logic #first-order-logic #computational-mathematics #alternative-set-theories
443
Views

What goes wrong if we explain Russell's paradox as resulting from an overly rigid link between property satisfaction and elementhood?

Published on
#elementary-set-theory #axioms #foundations #alternative-set-theories
518
Views

Infinite, totally ordered and well ordered sets

Published on
#logic #set-theory #well-orders #alternative-set-theories
45
Views

Is there a way to express rigorously the idea of a set undergoing something like a "change"

Published on
#soft-question #applications #alternative-set-theories
320
Views

A quantifier for "there may exist" (for use in Set Builder notation)

Published on
#quantifiers #alternative-set-theories
66
Views

Bourbaki Proof in First Consequences? Use of Not?

Published on
#logic #math-history #proof-theory #alternative-set-theories
177
Views

Results on forcing extensions for models of CZF

Published on
#reference-request #set-theory #forcing #constructive-mathematics #alternative-set-theories
164
Views

Does NF(U+?) have $\beta$-models?

Published on
#logic #set-theory #model-theory #foundations #alternative-set-theories
234
Views

Does NF(U+?) have "$\beta$ish-models"?

Published on
#logic #set-theory #model-theory #foundations #alternative-set-theories
105
Views

How would altering existential instantiation in the following way change mathematics?

Published on
#logic #reference-request #axioms #foundations #alternative-set-theories
93
Views

Term existence property for CZF

Published on
#reference-request #foundations #proof-theory #constructive-mathematics #alternative-set-theories

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.