MATH
Login Or Sign up

List Question

15
1.2k
Views

Are $(\Bbb R,+)$ and $(\Bbb Q, +)$ elementary equivalent?

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

Filters and preorders

Published on
#logic #propositional-calculus #model-theory #filters
157
Views

If $R(\gamma)\preccurlyeq R(\delta) $ then $R(\gamma)\models ZFC$

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

Compactness for nonempty structures implies general Compactness

Published on
#logic #model-theory
956
Views

Why do the axioms of equality suffice?

Published on
#logic #model-theory #foundations #philosophy #proof-theory
164
Views

A formula $\varphi$ such that no "small" transitive $M$ will satisfy $M\preccurlyeq _\varphi V$.

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

Lowenheim numbers for ordinary language quantifiers

Published on
#logic #model-theory #quantifiers
99
Views

Simplified proof of: totally categorical theories are pseudofinite

Published on
#logic #model-theory
227
Views

Non-isomorphic models of PA with isomorphic Automorphism groups

Published on
#logic #model-theory #peano-axioms
171
Views

Why is $T^*$ a companion of $T$?

Published on
#logic #model-theory
71
Views

First Order Logic question using moels

Published on
#logic #model-theory #first-order-logic #artificial-intelligence
385
Views

Difference between ultraproduct and ultrapower (with example)

Published on
#model-theory
255
Views

Is there an analog to the Church-Turing thesis in model theory?

Published on
#logic #model-theory #computability #turing-machines
329
Views

Can additional predicates "eliminate" nonstandard models of true arithmetic?

Published on
#model-theory #nonstandard-models
60
Views

Model checking in epistemic logic

Published on
#logic #propositional-calculus #model-theory #boolean-algebra

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.