MATH
Login Or Sign up

List Question

15
164
Views

Interpretation of the transfer principle.

Published on
#logic #nonstandard-analysis #nonstandard-models
204
Views

Consistent theories $T$ such that $T+\mathrm{Con}(T+\mathrm{Con}(T))$ is inconsistent

Published on
#logic #incompleteness #provability #nonstandard-models
196
Views

Ascertaining whether "absolute" standardness of $\omega$ is actually possible in ZFC

Published on
#set-theory #ordinals #foundations #nonstandard-models
57
Views

Finite field with infinitesimals / nonstandard analysis over finite fields

Published on
#finite-fields #nonstandard-analysis #nonstandard-models
103
Views

Why isn't $\mathcal{P}(^*A)\subseteq {^*}\mathcal{P}(A)$?

Published on
#logic #set-theory #nonstandard-analysis #nonstandard-models
79
Views

Showing existence of a non-standard model of arithmetic elementarily equivalent to standard model of arithmetic

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

Double exponentials in weak arithmetic

Published on
#logic #model-theory #computational-complexity #proof-theory #nonstandard-models
294
Views

embdedding standard models of PA into nonstandard models

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

Do indiscernibles imply additional non-stardard models?

Published on
#logic #first-order-logic #nonstandard-models
600
Views

Proving the Overspill Principle.

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

Non-standard model of $Th(\mathbb{R})$ with the same cardinality of $\mathbb{R}$

Published on
#logic #proof-writing #model-theory #nonstandard-models
87
Views

Is there an overview of possible order types of fragments of first-order arithmetic?

Published on
#logic #model-theory #first-order-logic #peano-axioms #nonstandard-models
151
Views

Where is the (original) proof of Klaus Potthoff's Theorem about the order type of arithmetic models?

Published on
#logic #model-theory #first-order-logic #peano-axioms #nonstandard-models
218
Views

Really confused about non-standard arithmethics

Published on
#peano-axioms #nonstandard-models
4.6k
Views

How does Gödel Completeness fail in second-order logic?

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