MATH
Login Or Sign up

List Question

15
111
Views

What is the right model of this set?

Published on
#analysis #logic #foundations #nonstandard-models
334
Views

Explicit countable elementary extension of $\mathbb{N}$

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

elementary equivalence and incompleteness

Published on
#elementary-set-theory #logic #model-theory #nonstandard-models
564
Views

Defining Primes in Non-standard Models of Peano Arithmetic

Published on
#number-theory #prime-numbers #peano-axioms #nonstandard-models
559
Views

Is there a consistent arithmetically definable extension of PA that proves its own consistency?

Published on
#logic #proof-theory #incompleteness #nonstandard-models
264
Views

Can the transfer principle apply to second-order logic if we transfer sets and relations to hyper-sets and hyper-relations?

Published on
#logic #nonstandard-analysis #higher-order-logic #nonstandard-models
755
Views

How can addition be non-recursive?

Published on
#logic #computability #peano-axioms #nonstandard-models
466
Views

Are the algebraic numbers recursive?

Published on
#logic #peano-axioms #nonstandard-models
221
Views

Does Tennenbaum's theorem apply to Modular Arithmetic?

Published on
#logic #peano-axioms #nonstandard-models
582
Views

Is the axiom of induction constructively verifiable for a non-standard model of arithmetic?

Published on
#model-theory #axiom-of-choice #first-order-logic #peano-axioms #nonstandard-models
923
Views

Prime numbers on a non-standard model

Published on
#logic #arithmetic #nonstandard-models
165
Views

Do all fields have a total cyclic order?

Published on
#logic #ring-theory #field-theory #nonstandard-models
872
Views

How does induction fail in computable nonstandard models?

Published on
#logic #nonstandard-models
217
Views

Overspill in computable nonstandard models

Published on
#logic #induction #nonstandard-models
7.9k
Views

What is an example of a non standard model of Peano Arithmetic?

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

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.