MATH
Login Or Sign up

List Question

15
520
Views

Prove the Robinson arithmetic has infinite non-isomorphic models

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

Zeta and Gamma function regularization with $\omega=1/0$

Published on
#gamma-function #riemann-zeta #regularization #nonstandard-models
1.4k
Views

Non-standard models for Peano Axioms

Published on
#peano-axioms #nonstandard-models
365
Views

Existence of nonstandard elementary extensions of $PA$?

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

On an explicit model for $\mathbf Q$ with the negation of the axiom of induction

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

No single axiom stating non-Archimedeanity

Published on
#first-order-logic #model-theory #ordered-fields #nonstandard-models
102
Views

System in the state space with differentiating links in feedback

Published on
#mathematical-modeling #control-theory #nonlinear-system #nonstandard-models
124
Views

Can proper elementarily equivalent end extensions ever be definable?

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

Are there Countable $\omega$- models of ZFC?

Published on
#logic #set-theory #first-order-logic #model-theory #nonstandard-models
39
Views

Physical/Geometric models for Reals , of different Cardinality (Lowenheim-Skolem, etc)?

Published on
#nonstandard-analysis #nonstandard-models
247
Views

Why do models of ZF which are not $\omega$-models have non-standard formulas whose length is "infinitely large natural numbers"?

Published on
#logic #set-theory #model-theory #meta-math #nonstandard-models
109
Views

Automorphism group of poset of models of Peano Arithmetic.

Published on
#order-theory #model-theory #automorphism-group #nonstandard-models
154
Views

Understanding non-standard arithmetic models.

Published on
#logic #first-order-logic #model-theory #nonstandard-models
260
Views

What is the hyperreal multiplicative inverse of $1 + \epsilon$, and how do we show it exists?

Published on
#nonstandard-analysis #nonstandard-models #surreal-numbers
325
Views

Are there countable non-standard models of true arithmetic formulated in the uncountable "full (first-order) language of arithmetic"?

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