MATH
Login Or Sign up

List Question

15
73
Views

Satisfaction of a sentence in a model

Published on
#logic #model-theory
152
Views

Transitive classes and $\Delta_0$- absoluteness.

Published on
#set-theory #model-theory
38
Views

Show that any complete consistent witnessing set of sentences has a closed term

Published on
#logic #model-theory
386
Views

Model of ordered plane with the negation of Pasch's axiom

Published on
#geometry #model-theory #axioms #axiomatic-geometry
123
Views

Spectrum of a sentence $\varphi$ with no equality sign

Published on
#logic #predicate-logic #model-theory #formal-languages
54
Views

What is the relation between these two meanings of "theory"?

Published on
#logic #terminology #model-theory
34
Views

Uper-bound on length of paths in graph

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

$\vDash (\forall x \forall y \forall z (R(x,y) \land R(y,z)\rightarrow R(x,z)))\land (\forall x \exists y R(x,y)) \rightarrow \exists x R(x,x) $

Published on
#logic #first-order-logic #predicate-logic #model-theory
2.8k
Views

Why can't we prove consistency of ZFC like we can for PA?

Published on
#logic #set-theory #model-theory #incompleteness
110
Views

Tent & Ziegler, Lemma 7.2.11

Published on
#model-theory
94
Views

Models of extensionality and comprehension without union

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

Formula so that $(\forall x \ \phi \rightarrow \forall x \ \psi) \rightarrow \forall x (\phi \rightarrow \psi)$ is not valid

Published on
#logic #examples-counterexamples #first-order-logic #predicate-logic #model-theory
74
Views

Special formula, term, structure and assignment

Published on
#logic #examples-counterexamples #first-order-logic #predicate-logic #model-theory
349
Views

Show that there are exactly $\aleph_0$-many countable $L$-structure if $L$ consists of one unary relation symbol.

Published on
#elementary-set-theory #logic #model-theory
141
Views

Class of rings with all nilpotent elements is not axiomatizable

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.