MATH
Login Or Sign up

List Question

15
399
Views

Consistency in Hilbert's Foundations of Geometry

Published on
#logic #euclidean-geometry #foundations #philosophy
322
Views

Is ZFC arithmetically sound?

Published on
#set-theory #foundations #natural-numbers #philosophy
103
Views

Is the category of sets a model of category theory?

Published on
#category-theory #set-theory #foundations
121
Views

Can (should?) the Yoneda embedding be formulated in terms of $0$-categories?

Published on
#category-theory #foundations #large-cardinals #yoneda-lemma #representable-functor
71
Views

Formal System Where Every Continuous Function is Almost Everywhere Differentiable

Published on
#real-analysis #logic #foundations
153
Views

How to justify the necessity of the Axioms?

Published on
#set-theory #axioms #foundations #peano-axioms
366
Views

Why is ZFC incapable of interpreting second-order logic?

Published on
#logic #set-theory #foundations #second-order-logic
49
Views

Domain of identity function as the largest "collections" of all mathematical objects

Published on
#category-theory #foundations
87
Views

Kolmogorov's construction of real numbers cardinality of functions that represent real numbers

Published on
#real-analysis #analysis #set-theory #real-numbers #foundations
96
Views

What is meant by a "Cantorian sense of a graph"?

Published on
#foundations
76
Views

Elementarily equivalent models of arithmetic that are not isomorphic.

Published on
#logic #first-order-logic #model-theory #foundations
99
Views

Why do Mahlo cardinals imply the totality of the finite promise games

Published on
#linear-algebra #set-theory #foundations #proof-theory #large-cardinals
58
Views

Elementary theory of the double category of spans

Published on
#reference-request #category-theory #foundations
167
Views

There's Homotopy Type Theory so why not "Homotopy Set Theory?"

Published on
#set-theory #foundations #homotopy-type-theory
110
Views

Implications of $Q\vdash \lnot Con(Q)$

Published on
#logic #foundations #philosophy #peano-axioms

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.