MATH
Login Or Sign up

List Question

15
61
Views

Is "Precise Set Theory" consistent? complete?

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

Is set sized choice over proper classes weaker than global choice?

Published on
#logic #first-order-logic #axiom-of-choice #alternative-set-theories
25
Views

Where's the inconsistency with this Ackermann like system of well foundedness?

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

What's the consistency strength of this extension of ML.

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

Is this theory as strong as ZFC?

Published on
#logic #set-theory #axioms #foundations #alternative-set-theories
39
Views

What are the interesting models of this theory other than those of ZFC + (V=L)?

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

Is this simple one tier membership theory finitely axiomatizable?

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

Is ZFC + classes equi-interpretable with MK?

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

Is this schema of homogeneity equivalent to Reflection?

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

Would mathematics based on lists obviate the need for the axiom of choice?

Published on
#axiom-of-choice #foundations #alternative-set-theories
38
Views

Is bounded finite set theory equivalent to bounded arithmetic?

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

Can we go further than (surreal) numbers, games & gaps?

Published on
#set-theory #surreal-numbers #alternative-set-theories
91
Views

If $S=\{x:x\in x\}$, is $S\in S$ knowable? (Naive set theory)

Published on
#paradoxes #provability #alternative-set-theories
54
Views

Can Cantor's theorem survive this kind of parametric type predicative restriction on set formation?

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

Math With Base 3 Truth Values

Published on
#real-analysis #analysis #propositional-calculus #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.