MATH
Login Or Sign up

List Question

15
366
Views

Confusion about the Constructible Model $L$

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

Predicate logic, models

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

Is the union of non-standard analogs of a family of sets a proper subset of the non-standard analog of the union of those sets?

Published on
#proof-verification #logic #model-theory #nonstandard-analysis #nonstandard-models
186
Views

Characterization of stable theories

Published on
#logic #model-theory
72
Views

Example of a ring where Hilbert's tenth problem is creative

Published on
#number-theory #ring-theory #model-theory #computability
490
Views

Showing via Ehrenfeucht-Fraïssé games that acyclicity is not definable in FO for finite graphs

Published on
#logic #graph-theory #first-order-logic #model-theory
115
Views

Elementary class of $T$-ec structures

Published on
#model-theory
398
Views

Where are the model theory concepts from?

Published on
#logic #soft-question #first-order-logic #model-theory
91
Views

Lemma to compactness theorem for propositional logic

Published on
#logic #propositional-calculus #model-theory
124
Views

On the notion of semantic completeness

Published on
#logic #model-theory #formal-systems
492
Views

How to create models in First-order logic

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

Types and automorphisms in model theory

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

Type amalgamation

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

About independence of sentences from a given set of axioms

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

How does the power set axiom hold in this model of ZFC (without the axiom of infinity)?

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