MATH
Login Or Sign up

List Question

15
436
Views

The satisfaction relation is undefinable, but does it still "exist"?

Published on
#set-theory #model-theory #nonstandard-models
100
Views

predicate logic formula truth models

Published on
#logic #first-order-logic #predicate-logic #model-theory
82
Views

Beth's theorem through Robinson Lemma

Published on
#logic #model-theory #meta-math
76
Views

Definability in a partial structure

Published on
#logic #predicate-logic #model-theory
181
Views

A heuristic for the consistency of ZFC (Fine Structure Theory)

Published on
#logic #set-theory #model-theory
238
Views

Gaps in the Constructible hierarchy

Published on
#logic #set-theory #model-theory
87
Views

Looking for help in defining a new epistemic logic.

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

Forking but not dividing

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

What kind of Categorical object is an RDF Model?

Published on
#logic #category-theory #model-theory #quiver
167
Views

A property of a set of formulas that implies that every formula is equivalent to a Boolean combination of formulas of this set.

Published on
#logic #model-theory
89
Views

Question about the relation between ultraproducts and boolean algebras (Hodges's remark)

Published on
#logic #model-theory #boolean-algebra
86
Views

Small theories and isomorphism classes of models

Published on
#model-theory
70
Views

Are predicates merely convenient or are they necessary in logical language?

Published on
#logic #model-theory #philosophy
499
Views

Is there a complete theory that is not $\kappa$ categorical for any $\kappa$?

Published on
#logic #model-theory
278
Views

For any pair of definable sets of the same cardinality, is there a definable bijection between them?

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.