On extensions of $L{\omega \omega }(Q1)$

Notre Dame Journal of Formal Logic 22 (1):85-93 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093883342

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Decision procedure for a class of $(L{\omega1\omega})t$-types of $T3$ spaces.Juan Carlos Martínez - 1987 - Notre Dame Journal of Formal Logic 28 (2):284-290.
Models of ${\rm Th}(\langle \omega^\omega<\rangle)$.John W. Rosenthal - 1974 - Notre Dame Journal of Formal Logic 15 (1):122-132.
Isomorphisms of $\omega$-groups.Charles H. Applebaum - 1971 - Notre Dame Journal of Formal Logic 12 (2):238-248.
Automorphisms of $\omega$-cubes.J. C. E. Dekker - 1981 - Notre Dame Journal of Formal Logic 22 (2):120-128.
Automorphisms of $\omega$-octahedral graphs.J. C. E. Dekker - 1982 - Notre Dame Journal of Formal Logic 23 (4):427-434.
The $\Omega $-system and the Ł-system of modal logic.Jean Porte - 1979 - Notre Dame Journal of Formal Logic 20 (4):915-920.
Independently Axiomatizable [image] Theories.Greg Hjorth & Ioannis A. Souldatos - 2009 - Journal of Symbolic Logic 74 (4):1273 - 1286.
A formalisation of the arithmetic of the ordinals less than $W^\omega$.H. P. Williams - 1969 - Notre Dame Journal of Formal Logic 10 (1):77-89.
Abstract Elementary Classes with Löwenheim-Skolem Number Cofinal with ω.Gregory M. Johnson - 2010 - Notre Dame Journal of Formal Logic 51 (3):361-371.
The Nonabsoluteness of Model Existence in Uncountable Cardinals for $L{omega{1},omega}$.Sy-David Friedman, Tapani Hyttinen & Martin Koerwien - 2013 - Notre Dame Journal of Formal Logic 54 (2):137-151.

Analytics

Added to PP
2010-08-24

Downloads
26 (#841,108)

6 months
11 (#322,218)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Henkin and function quantifiers.Michael Krynicki & Jouko Väänänen - 1989 - Annals of Pure and Applied Logic 43 (3):273-292.
Games and Lindström Theorems.Cheng Liao - 2023 - Logica Universalis 17 (1):1-21.

Add more citations

References found in this work

No references found.

Add more references