MATH
Login Or Sign up

List Question

15
72
Views

example of nonstandard model of PA that is not recursively saturated

Published on
#peano-axioms #nonstandard-models
157
Views

Doing math with nonstandard numbers

Published on
#logic #nonstandard-models
702
Views

What lessons have mathematicians drawn from the existence of non-standard models?

Published on
#model-theory #philosophy #foundations #nonstandard-models
845
Views

nonstandard topology?

Published on
#general-topology #nonstandard-models
143
Views

Infinite set of standard primes as the set of standard prime divisors of a nonstandard number

Published on
#logic #model-theory #peano-axioms #nonstandard-models
403
Views

Recursive non-standard models?

Published on
#model-theory #peano-axioms #nonstandard-models
677
Views

How do we know that certain concrete nonstandard models of the natural numbers satisfy the Peano axioms?

Published on
#logic #reference-request #model-theory #peano-axioms #nonstandard-models
582
Views

Tennenbaum's theorem without overspill

Published on
#model-theory #computability #peano-axioms #nonstandard-models
126
Views

Non-Standard Arithmetic - order

Published on
#logic #model-theory #nonstandard-models
76
Views

Bound for Non-standard Model of PA

Published on
#model-theory #nonstandard-models
90
Views

Nonstandard Model of PA where the carrier set is N

Published on
#logic #model-theory #peano-axioms #nonstandard-models
585
Views

Are we in a nonstandard model of arithmetic?

Published on
#model-theory #first-order-logic #nonstandard-models
197
Views

Intuitive Demonstration of Tennenbaum Theorem?

Published on
#logic #model-theory #peano-axioms #nonstandard-models
537
Views

Produce a nonstandard model of Robinson arithmetic

Published on
#logic #nonstandard-models
260
Views

Does an internal set with countably many infinitesimals contain hyperfinitely many infinitesimals?

Published on
#nonstandard-analysis #nonstandard-models

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.