MATH
Login Or Sign up

List Question

15
171
Views

"Real-closed" vs "transfer principle"

Published on
#logic #real-numbers #model-theory #nonstandard-analysis #nonstandard-models
178
Views

Why does this nonstandard model of Robinson Arithmetic fail to be a model of PA?

Published on
#logic #natural-numbers #peano-axioms #nonstandard-analysis #nonstandard-models
89
Views

Soundness and Completeness for a single Model Only?

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

Number of models of the naturals and reals with and without CH

Published on
#set-theory #model-theory #nonstandard-analysis #nonstandard-models
305
Views

Why isn't there a contradiction between compactness and the Archimedean property when we create non-standard models of real numbers?

Published on
#logic #predicate-logic #nonstandard-models
133
Views

Nonstandard algebraic geometry: Fundamental Theorem of Algebra

Published on
#algebraic-geometry #polynomials #nonstandard-analysis #nonstandard-models
36
Views

Must a non-well-founded model of Z contain a countable collection that looks like a proper class to the model?

Published on
#set-theory #nonstandard-models
55
Views

Hyper-extensions of Hom space

Published on
#elementary-set-theory #set-theory #model-theory #nonstandard-models #surreal-numbers
28
Views

How to use non-standard analysis to prove Baire Category Theorem？

Published on
#baire-category #nonstandard-analysis #nonstandard-models
234
Views

Which models of PA can be standard in some model of ZFC?

Published on
#set-theory #arithmetic #model-theory #nonstandard-models
134
Views

Every nonstandard model of arithmetic has an element which is a multiple of every $n\in \Bbb N$.

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

Which theories of arithmetic have non-standard computable models?

Published on
#reference-request #arithmetic #model-theory #nonstandard-models
39
Views

standard model of $\mathbb{N}$ and true $\Pi^0_1$ sentences

Published on
#first-order-logic #peano-axioms #large-cardinals #nonstandard-models
145
Views

Nonstandard analysis and hyperreals

Published on
#nonstandard-analysis #nonstandard-models #surreal-numbers #totally-real-field
60
Views

Is there a "closed form" expression for the powerset of a complement?

Published on
#elementary-set-theory #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.