MATH
Login Or Sign up

List Question

15
431
Views

In FOL, can we define equality for two predicate symbols?

Published on
#logic #first-order-logic #predicate-logic
203
Views

Models that realize all types

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

Can the cardinality of the set of all intervening cardinals between sets and their power sets be always singular?

Published on
#set-theory #first-order-logic #large-cardinals
153
Views

How could I proceed in proving that a Lindenbaum algebra is atomless?

Published on
#logic #first-order-logic #boolean-algebra
33
Views

Formally deriving a vacuous truth from a definition involving conjoined implications

Published on
#proof-verification #proof-explanation #first-order-logic
302
Views

Enderton's sentential "tautological implication" subsumed by Enderton's first-order "logical implication"?

Published on
#logic #first-order-logic
60
Views

$\mathbb{Q}^{alg}[[a,b]] $ is not elementary equivalent to $\mathbb{C}[[a,b]]$, and the same for $\mathbb{Q}^{alg}[a]$ and $\mathbb{C}[a]$?

Published on
#abstract-algebra #logic #power-series #first-order-logic #model-theory
249
Views

Countable countable models

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

Notation: $P(x)$ iff $x$ has property $P$

Published on
#elementary-set-theory #logic #notation #first-order-logic #predicate-logic
126
Views

First-order Peano arithmetic and (the lack of) implicit definition of addition

Published on
#arithmetic #compactness #first-order-logic #peano-axioms #nonstandard-models
144
Views

Understanding of "Somewhat Surprising" First Order Logic Expression in E.J.Lemmon, Beginning Logic

Published on
#first-order-logic #predicate-logic
272
Views

Logical implication with undefined property

Published on
#logic #first-order-logic
288
Views

Exam question: Show that each infinite L-structure has a countable, elementary substructure

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

Prove if there is no strictly decreasing sequence of elements in linear order A, then A is well ordered

Published on
#elementary-set-theory #logic #first-order-logic #order-theory
346
Views

Can a cyclic group be defined in 1st order logic?

Published on
#first-order-logic

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.