MATH
Login Or Sign up

List Question

15
62
Views

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

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

Is cardinal arithmetic a model of Robinson arithmetic?

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

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

Published on
#logic #nonstandard-models
57
Views

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

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

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

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

What is a starfinite set?

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

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

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

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

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

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

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

Motivation of indicator construction in Kaye

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

Set-up for the Paris-Harrington Theorem

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

Extension of the Paris-Harrington principle

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

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

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

Arithmetic on infinite formal prime factorizations

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

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

Published on
#nonstandard-analysis #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.