MATH
Login Or Sign up

List Question

15
73
Views

Regularity in finitist models?

Published on
#set-theory #model-theory #finitism
301
Views

Precise definition of relative consistency in Kunen's "Set Theory"

Published on
#logic #set-theory #proof-theory #finitism
1.1k
Views

Why do finitists reject the axiom of infinity?

Published on
#axioms #philosophy #finitism
475
Views

A model-theoretic question re: Nelson and exponentiation

Published on
#logic #foundations #peano-axioms #finitism
127
Views

What part of arithmetic can be founded on recursive functions and without unbounded quantification?

Published on
#logic #recursion #quantifiers #foundations #finitism
150
Views

Developing model theory in the language of PA

Published on
#model-theory #axioms #proof-theory #peano-axioms #finitism
714
Views

Is an ultrafinitist way around Gödel incompleteness theorems?

Published on
#logic #incompleteness #finitism #ultrafinitism
624
Views

Does infinity cause incompleteness in formal systems? Is a finite formal system complete?

Published on
#set-theory #infinity #formal-languages #incompleteness #finitism
88
Views

Can there be a number which is provably larger than any number, yet is provably not infinite

Published on
#elementary-number-theory #finitism #ultrafinitism
853
Views

Math that does not have infinity

Published on
#infinity #meta-math #finitism #ultrafinitism
82
Views

Are finitist systems the ones with a proof-theoretic ordinal of at most $\omega^\omega$?

Published on
#logic #proof-theory #ordinal-analysis #finitism
10.7k
Views

How far can one get in analysis without leaving $\mathbb{Q}$?

Published on
#analysis #number-theory #philosophy #constructive-mathematics #finitism
191
Views

Can finitism justify renormalization?

Published on
#physics #mathematical-physics #finitism
889
Views

Calculus in finitistic systems

Published on
#calculus #logic #constructive-mathematics #finitism
191
Views

How do we distinguish between characteristic 0 and characteristic p for very large p?

Published on
#number-theory #finite-fields #philosophy #finitism #ultrafinitism

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.