Opis

• Tytuł:
  Omitting Types in Fragments and Extensions of First Order Logic
• Twórca:
  Sayed Ahmed, Tarek
• Współtwórca:
  Cairo University, Department of Mathematics, Faculty of Science;
  rutahmed@gmail.com
• Opis:
  Fix \(2 < n < \omega\). Let \(L_n\) denote first order logic restricted to the first n variables. Using the machinery of algebraic logic, positive and negative results on omitting types are obtained for \(L_n\) and for infinitary variants and extensions of \(L_{\omega, \omega}\).
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2021.11.05;
  2021.05.28
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;3;
  50
• Temat i słowa kluczowe:
  Algebraic logic;
  multimodal logic;
  omitting types;
  completions
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/39683 ;
  2449-836X;
  10.18778/0138-0680.2021.13
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe