Generic Embeddings |
Common terms and phrases
1-ary atoms a₁ automorphism axiom of choice b₁ binary relation Boolean algebra BRARY categorical theory cofinite CORM CORNEL UNIVERSITY CORNELL CORNELL CORNELL CORNELL CORNELL CORNELL LIBRARY CORNELL CORNELL UNIVE CORNELL CORNELL UNIVERSITY CORNELL LIBRARY CORNELL CORNELL LIBRARY LIBRARY CORNELL LIBRARY UNIVERSITY countable model countable set define disjoint union distinct elements enumeration EZRA CORNELL finite partial order finite sequence formula of L(T formula of ZF formula with parameters FOUNDED CORNELL CORNELL Hence HIVE CORNEL infinite model infinite well ordered IVERSITY LIBRARY CORNELL CORNELL LIBRARY FOUNDED CORNELL LIBRARY LIBRARY CORNELL linearly ordered n-ary relation n+k)-homogeneous NIVERS non-algebraic X-categorical theory P(Sgp P₁ Proof ramified language Sa¡ji Sajji T-compatible T-type T-type(a T₁ T₁(a T₂(a Theorem total order Truth lemma UNIVE LIBRARY UNIVERSIT UNIVERSITY CORNELL CORNELL UNIVERSITY CORNILL UNIVER UNIVERSITY UNIVERSITY CORNELL Vaught vector space w-homogeneous ZF with parameters εσ Λ Λ