MATH
Login Or Sign up

List Question

15
63
Views

Has anyone had studied the Riemann hypothesis with non-standard models?

Published on
#logic #reference-request #model-theory #riemann-hypothesis #nonstandard-models
128
Views

Is cardinal arithmetic a model of Robinson arithmetic?

Published on
#logic #set-theory #model-theory #axioms #nonstandard-models
325
Views

$\mathbb{N}$ is not definable in a non-standard model

Published on
#logic #nonstandard-models
58
Views

Completion of nonstandard numbers allowed and isomorphic to non-negative, non-infinitesimal, integer hyperreals?

Published on
#nonstandard-models #formal-completions
45
Views

Why an internal map, maps an internal set to an internal set?

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

What is a starfinite set?

Published on
#logic #model-theory #nonstandard-analysis #nonstandard-models
74
Views

$\text{Sat}_{\Delta_0}(x, y)$ is $\Delta_1(\textbf{PA})$ (Kaye's book)

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

"$\Sigma_1^1$-Peano arithmetic" - does it pin down $\mathbb{N}$?

Published on
#logic #set-theory #model-theory #nonstandard-models #second-order-logic
164
Views

Are there nonstandard $\mathsf{PA}$ models without $\Delta^1_1$ cuts?

Published on
#logic #model-theory #nonstandard-models #second-order-logic
64
Views

Motivation of indicator construction in Kaye

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

Set-up for the Paris-Harrington Theorem

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

Extension of the Paris-Harrington principle

Published on
#combinatorics #logic #peano-axioms #nonstandard-models
129
Views

Non-standard model of naturals and Löwenheim–Skolem

Published on
#logic #model-theory #nonstandard-analysis #nonstandard-models
123
Views

Arithmetic on infinite formal prime factorizations

Published on
#number-theory #ring-theory #nonstandard-models
65
Views

Are there any significant/meaningful ultrapowers other than the hyperreals?

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.