MATH
Login Or Sign up

List Question

15
88
Views

Is there an overview of possible order types of fragments of first-order arithmetic?

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

Existential theory

Published on
#logic #model-theory #computability #formal-languages
110
Views

Is the reduction correct?

Published on
#logic #model-theory #computability
152
Views

Where is the (original) proof of Klaus Potthoff's Theorem about the order type of arithmetic models?

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

Show undecidability by reducing from Hilbert's $10^{th}$ problem

Published on
#logic #model-theory #computability #formal-languages
190
Views

Shepherdson's model for Open Induction

Published on
#reference-request #logic #arithmetic #model-theory
1.6k
Views

What's an example of a number that is neither rational nor irrational?

Published on
#logic #model-theory #irrational-numbers #rational-numbers #intuitionistic-logic
4.6k
Views

How does Gödel Completeness fail in second-order logic?

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

Intermediate Logic Text

Published on
#reference-request #logic #model-theory
344
Views

The converse of Vaught's Test

Published on
#model-theory
331
Views

Transexponential Functions

Published on
#real-analysis #reference-request #logic #model-theory
45
Views

¿countably natural models?

Published on
#elementary-set-theory #model-theory
399
Views

Is there a logic so powerful it pins down every structure up to isomorphism?

Published on
#logic #soft-question #model-theory
236
Views

List out all the definable set in given model

Published on
#logic #model-theory
391
Views

Is there a constructive approach as a replacement of Henkin's construction?

Published on
#logic #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.