MATH
Login Or Sign up

List Question

15
166
Views

Interpretation of the transfer principle.

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

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

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

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

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

Finite field with infinitesimals / nonstandard analysis over finite fields

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

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

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

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

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

Double exponentials in weak arithmetic

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

embdedding standard models of PA into nonstandard models

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

Do indiscernibles imply additional non-stardard models?

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

Proving the Overspill Principle.

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

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

Published on
#logic #proof-writing #model-theory #nonstandard-models
88
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
152
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
219
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

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.