MATH
Login Or Sign up

List Question

15
347
Views

Examples for intensional set theories.

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

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

Published on
#set-theory #alternative-set-theories
387
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
58
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
447
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
519
Views

Infinite, totally ordered and well ordered sets

Published on
#logic #set-theory #well-orders #alternative-set-theories
46
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
326
Views

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

Published on
#quantifiers #alternative-set-theories
68
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
167
Views

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

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

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

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

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

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

Term existence property for CZF

Published on
#reference-request #foundations #proof-theory #constructive-mathematics #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.