MATH
Login Or Sign up

List Question

15
86
Views

d-metric on the space of types.

Published on
#logic #model-theory
128
Views

Question on consistency and completeness of a theory

Published on
#logic #model-theory
606
Views

Minimality and Strong minimality and O-minimality

Published on
#definition #model-theory
228
Views

Is Halting problem an example of a problem which is true but unprovable?

Published on
#model-theory #computability #proof-theory #incompleteness #decidability
247
Views

What is wrong with this application of Ax-Kochen?

Published on
#model-theory #p-adic-number-theory #valuation-theory
69
Views

Does model theory gives a "recipe" for deriving logical consequences from given theory $T$?

Published on
#model-theory #proof-theory
85
Views

The space of all structures with countable universe and a given signature.

Published on
#general-topology #logic #model-theory
264
Views

variable-free terms and substitutability

Published on
#logic #model-theory #substitution
118
Views

Proving the Rasiowa Sikorski lemma for Boolean algebras

Published on
#set-theory #model-theory #boolean-algebra #metalogic
104
Views

Proofs checkable by a computer

Published on
#logic #solution-verification #model-theory #proof-theory
93
Views

$\mathbb Z \oplus \mathbb Z \oplus \mathbb Q \equiv \mathbb Z \oplus \mathbb Q \oplus \mathbb Q$?

Published on
#logic #model-theory #abelian-groups
192
Views

Definition of structure and satisfaction on Set theory(ZFC).

Published on
#first-order-logic #model-theory #foundations
250
Views

Is Hodges' definition of elementary embedding wrong?

Published on
#logic #reference-request #first-order-logic #model-theory
196
Views

Exercise 4.5.35 of David Marker's Model theory

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

DLO without endpoints is model complete

Published on
#logic #model-theory

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.