MATH
Login Or Sign up

List Question

15
90
Views

Nonstandard Model of PA where the carrier set is N

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

Determinacy and Ehrenfeucht-Fraïssé

Published on
#set-theory #model-theory #game-theory
96
Views

Definable endomorphisms and elementary substructures.

Published on
#logic #model-theory
134
Views

Finitely axiomatized second-order theory without a model, which is consistent for reasonable deductive systems

Published on
#logic #examples-counterexamples #model-theory #second-order-logic
585
Views

Are we in a nonstandard model of arithmetic?

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

Intuitive Demonstration of Tennenbaum Theorem?

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

Find all submodels of $(\mathbb{N} ,+, \cdot , 0)$ that contain $2$ and $5$

Published on
#logic #model-theory #first-order-logic
988
Views

Could the natural numbers be unique after all?

Published on
#logic #set-theory #model-theory #first-order-logic #philosophy
118
Views

Additive group of reals saturated

Published on
#group-theory #model-theory
64
Views

Stationary types with non-stationary extensions

Published on
#logic #model-theory
352
Views

An ordered field with a infinitesimal element elementarily equivalent to the reals

Published on
#logic #model-theory
54
Views

Theory of undirected graphs splits in two cases

Published on
#logic #graph-theory #set-theory #model-theory
217
Views

Unprovable arithmetic statements in RCA0, WKL0

Published on
#elementary-number-theory #logic #model-theory
99
Views

How to (or why cannot) define complex conjugate in the structure $(\mathbb{Z}+i\mathbb{Z},+)$?

Published on
#logic #model-theory
276
Views

Dedekind complete model

Published on
#model-theory #first-order-logic

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.