MATH
Login Or Sign up

List Question

15
59
Views

Clarification on internal sets

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

Kripke's proof of the incompleteness of PA

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

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

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

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

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

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

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

What does Robinson's overspill lemma tell us?

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

First order axiomatization of $\mathbb{R}$

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

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

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

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

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

Showing that the hyperintegers are uncountable

Published on
#logic #first-order-logic #nonstandard-analysis #nonstandard-models
131
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
65
Views

Does anyone describe Henkinization as closing under Skolem Functions?

Published on
#reference-request #model-theory #nonstandard-models
175
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
91
Views

Gödels incompleteness theorem false for natural numbers

Published on
#peano-axioms #incompleteness #nonstandard-models
141
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

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.