MATH
Login Or Sign up

List Question

15
57
Views

Clarification on internal sets

Published on
#abstract-algebra #logic #galois-theory #nonstandard-models
99
Views

Kripke's proof of the incompleteness of PA

Published on
#logic #peano-axioms #incompleteness #nonstandard-models
88
Views

How to add new axioms to classical Peano Arithmetic to obtain a non-standard theory.

Published on
#arithmetic #peano-axioms #nonstandard-models
328
Views

Can additional predicates "eliminate" nonstandard models of true arithmetic?

Published on
#model-theory #nonstandard-models
119
Views

Nonstandard Model of PA where the carrier set is N and Tennenbaum

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

What does Robinson's overspill lemma tell us?

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

First order axiomatization of $\mathbb{R}$

Published on
#model-theory #nonstandard-models
68
Views

Model theory of the naturals with a multiplication by an irrational factor

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

How do set theorists deal with that every model of ZF might be nonstandard?

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

Showing that the hyperintegers are uncountable

Published on
#logic #first-order-logic #nonstandard-analysis #nonstandard-models
130
Views

If I use ZFC as a metatheory for FOL, doesn't it make it weaker?

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

Does anyone describe Henkinization as closing under Skolem Functions?

Published on
#reference-request #model-theory #nonstandard-models
174
Views

If Goldbach's conjecture G is undecidable in PA, then can we prove $\mathbb N\models G$?

Published on
#first-order-logic #model-theory #peano-axioms #incompleteness #nonstandard-models
90
Views

Gödels incompleteness theorem false for natural numbers

Published on
#peano-axioms #incompleteness #nonstandard-models
140
Views

Confusion about the model in Robert’s Nonstandard Analysis

Published on
#set-theory #model-theory #nonstandard-analysis #nonstandard-models #nonarchimedian-analysis

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.