MATH
Login Or Sign up

List Question

15
435
Views

Set theory without infinite sets

Published on
#foundations #alternative-set-theories
79
Views

Question regarding Paraconistent valued models

Published on
#logic #set-theory #boolean-algebra #forcing #alternative-set-theories
102
Views

Is the second completeness axiom for V really needed for Ackermann set theory to interpret ZF?

Published on
#logic #set-theory #alternative-set-theories
71
Views

Asking for refs: formalisms that admit {x}={{x}}

Published on
#alternative-set-theories
73
Views

Subtyping of Prop in Coq. Implementation of Ackermann class theory. First-order theories.

Published on
#logic #computer-science #foundations #computer-assisted-proofs #alternative-set-theories
152
Views

Ackermann set theory appears to prove inaccessible cardinals exist?

Published on
#alternative-set-theories
164
Views

Soft question - recommendations concerning basic topics inside rough set theory

Published on
#soft-question #alternative-set-theories
226
Views

Principia Mathematica, chapter *117: a false proposition?

Published on
#logic #math-history #foundations #alternative-set-theories
221
Views

How badly does foundation fail in NF(etc.)?

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

Relative consistency of ZF with respect to IZF

Published on
#logic #boolean-algebra #forcing #alternative-set-theories #heyting-algebra
72
Views

Can we extend a version of MK with that coding function?

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

Is Reflection consistent with Resemblance?

Published on
#first-order-logic #large-cardinals #alternative-set-theories
129
Views

Is this basic number-set theory equivalent to PA?

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

Is ZF+Omega rule for sets a complete theory?

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

Is "ZFC + Omega rule for finite sets" a complete theory?

Published on
#set-theory #first-order-logic #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.