MATH
Login Or Sign up

List Question

15
185
Views

Is there/can there be a model-theoretic proof of this theorem of arithmetic ?

Published on
#number-theory #finite-fields #model-theory #square-numbers
149
Views

Does every first order theory have a pointwise definable model?

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

Approach validation: Model of the diagram of a structure has isomorphic submodel

Published on
#proof-verification #logic #model-theory
31
Views

No theory such that models are just the ones who have finite amount of left-dense points (approach validation)

Published on
#proof-verification #logic #order-theory #model-theory
96
Views

Requiring the isomorphism between two FOL interpretations to be a bijection when proving they are elementary equivalent

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

Cantor's theorem, unclear generalization

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

Is unsorted first-order logic equivalently expressive to infinitely-many-sorted first-order logic?

Published on
#logic #compactness #first-order-logic #model-theory
70
Views

Inclusion relations between equationally defined classes of finite semigroups

Published on
#model-theory #formal-languages #semigroups #universal-algebra #finite-semigroups
596
Views

Intuition behind homogeneous models

Published on
#logic #model-theory
114
Views

Modal formula connectives unraveling

Published on
#logic #model-theory #modal-logic
55
Views

exchange on sets with rank one

Published on
#logic #model-theory
123
Views

Sufficient conditions for a model of second-order ZFC

Published on
#elementary-set-theory #logic #model-theory #second-order-logic
266
Views

Set-theoretical semantics vs categorical semantics

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

Indiscernible sequence over a model

Published on
#logic #model-theory
206
Views

If a theorem is $\kappa$-categorical and has a model of order $\kappa$ when $\kappa<\aleph_0$ , then it's complete [FALSE CLAIM]

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