MATH
Login Or Sign up

List Question

15
144
Views

ZFC-Infinity+PA: Does it prove Con(PA)?

Published on
#logic #set-theory #model-theory #peano-axioms #meta-math
326
Views

Can Peano arithmetic prove 0=1 in a standard number of steps (in a non-standard model)?

Published on
#logic #first-order-logic #model-theory #peano-axioms
530
Views

How can we be so sure that we don't live in Pudlak's inconsistent world?

Published on
#logic #model-theory #proof-theory #peano-axioms
127
Views

Understanding interpretation of quantified set variables in Herbert Enderton "Second-order and Higher-order logic"

Published on
#logic #model-theory #formal-languages #second-order-logic
187
Views

Can two different models of arithmetic have non-comparable views of peano arithmetic?

Published on
#logic #model-theory #proof-theory #peano-axioms #meta-math
51
Views

Embeddings imply isomorphism

Published on
#abstract-algebra #model-theory
78
Views

proving/disproving basic logical claims

Published on
#discrete-mathematics #logic #predicate-logic #model-theory
144
Views

Primality is not existential over true arithmetic

Published on
#logic #model-theory
104
Views

Can bounded addition and multiplication be computable in a non-standard model of arithmetic?

Published on
#logic #arithmetic #model-theory #computability #peano-axioms
364
Views

Proving $y = x + 1$ doesn't have a quantifier-free formula in $(\mathbb{Z}, =, <)$

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

Can we add a ordinal bigger than every other ordinal and end up with a transitive model?

Published on
#logic #set-theory #model-theory #filters
855
Views

Monster Model Theory

Published on
#logic #model-theory #projective-geometry
305
Views

products and coproducts in the category of all categories

Published on
#logic #category-theory #model-theory
283
Views

A axiomatization of (full) Second Order Logic with a decidable proof system cannot be complete; is this true if we only require semi-decidability?

Published on
#logic #model-theory #proof-theory #decidability #second-order-logic
468
Views

If every finite subset of a theory has an infinite model then the theory has an infinite model

Published on
#logic #model-theory #filters

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.