MATH
Login Or Sign up

List Question

15
188
Views

Why are Boolean algebras nice?

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

Is it possible that a theory A is not interpretable in a theory B, and B is not interpretable in A too?

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

Back and forth games

Published on
#abstract-algebra #logic #model-theory
75
Views

Existence of order types if we assume Choice in the metatheory

Published on
#set-theory #model-theory
4.6k
Views

Graduate Level Mathematical Logic Textbooks

Published on
#logic #reference-request #model-theory #computability #proof-theory
63
Views

Consequences of the Construction of Models

Published on
#logic #model-theory
294
Views

Elementary substructure and automorphism

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

Given a 1st-order $\phi$ in the language of $\{\in,c\}$, is $\langle M,\in, S\rangle\models\phi$ 1st-order expressible?

Published on
#logic #model-theory
207
Views

Definition of a definable set of a substructure

Published on
#logic #model-theory
108
Views

a disjunction property

Published on
#logic #model-theory
320
Views

Creating the first infinitesimal by use of Compactness Theorem

Published on
#proof-verification #proof-writing #model-theory #infinitesimals
1.2k
Views

Models of first-order logic and cardinalities of the domain

Published on
#logic #cardinals #model-theory #first-order-logic #provability
87
Views

Boolean algebras and a language with quantification over ideals

Published on
#logic #reference-request #model-theory #second-order-logic
871
Views

Precise reason why a non standard model of arithmetic is not isomorphic to the natural numbers

Published on
#logic #model-theory #first-order-logic #peano-axioms
375
Views

Definable sets in infinite structures

Published on
#logic #model-theory #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.