MATH
Login Or Sign up

List Question

15
220
Views

Completness in higher order logic and Interpretations

Published on
#logic #model-theory #higher-order-logic
96
Views

If no interpretations satisfy a set of formulae U, is it possible for $U\models A$?

Published on
#logic #model-theory #propositional-calculus
1.5k
Views

Uncountable Dense Linear Orders

Published on
#self-learning #order-theory #model-theory #first-order-logic
495
Views

Is the (first order theory) of Hilbert spaces categorical?

Published on
#logic #hilbert-spaces #model-theory #first-order-logic
153
Views

substructures generated by constant symbols

Published on
#model-theory
484
Views

Difference between type and similarity type

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

An impressive fact expressible in Presburger arithmetic?

Published on
#logic #arithmetic #model-theory #automated-theorem-proving #presburger-arithmetic
293
Views

Formal theories dealing with non-commutattive and non-transitive notion of equality

Published on
#reference-request #logic #model-theory #philosophy
1.7k
Views

Murder at Hilbert's Hotel! A study of the testimony of infinitely many suspects.

Published on
#number-theory #logic #model-theory
128
Views

Perron-Frobenius theorem for real closed fields via model theory

Published on
#linear-algebra #field-theory #model-theory
84
Views

O-minimal Theories with Non-Dense Order Type

Published on
#logic #model-theory
233
Views

A fragment of Exercise 1.3.4 in _Shorter Model Theory_ by Hodges

Published on
#logic #model-theory
323
Views

An example of a formula with infinite Morley Rank

Published on
#logic #model-theory
254
Views

Any substructure of $(\mathbb{N}; 0, 1, +, \cdot)$ is itself

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

Marker Exercise 2.5.10: universal part of a theory and supermodel

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