D. G. Seese  Home/Search
Context
Related
| aifb.unikarlsruhe...ationary_logic.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: aifb.unikarlsruhe.de/CoM/sees... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The L(aa)-theory of ordinals is investigated. It is proved that this theory is decidable and that each ordinal is finitely determinate. (Update)
Active bibliography (related documents): More All
0.5: The Structure of the Models of Decidable Monadic Theories of Graphs - Seese (1991) (Correct)
0.5: Generalized Quantification as Substructural Logic - Alechina, van Lambalgen (1995) (Correct)
0.5: Interpretability and Tree Automata: a simple way to solve.. - Seese (1992) (Correct)
Similar documents based on text: More All
1.0: Undecidable Theories In Stationary Logic - Seese, Tuschik, Weese (1982) (Correct)
0.3: Ehrenfeucht Games, the Composition Method, and the Monadic Theory .. - Thomas (1997) (Correct)
0.3: On omega-Independence And The Kunen-Shelah Property - Granero.. (Correct)
BibTeX entry: (Update)
@misc{ seese-stationary,
author = "D. G. Seese",
title = "Stationary Logic And Ordinals",
url = "citeseer.ist.psu.edu/seese81stationary.html" }
Citations (may not include all citations):16 A simple method for undecidability proofs and some applicati.. (context) - Rabin - 1964
4 Stationary logic (context) - Barwise, Kaufmann et al. - 1978
4 the elementary theory of linear order (context) - iuchli, Leonhard - 1966
4 Decidability and generalized quantifiers (context) - Baudisch, Seese et al. - 1980
4 Decidability and generalized quantifiers (context) - Seese - 1978
3 Zur Masstheorie in der allgemeinen Mengenlehre (context) - Ulam - 1930
1 A back-and-forth characterization of elementary equivalence .. (context) - Caicedo - 1977
1 Some aspects of generalized quantifiers (context) - Lipnet - 1970
1 Stationary logic offinitey determinate structures (context) - Eldof, Mekler - 1979
1 Elementary equivalence and definability in stationary logic (context) - Makowsky - 1977
1 Linear orders and Boolean algebras in stationary logic (context) - Seese, Tuschik et al. - 1979
1 remark to a paper olD (context) - Herre - 1979
1 Logic Colioqnium (context) - countable, rs et al. - 1978
1 Ehrenfeucht's game for stationary logic (context) - Seese, Weese - 1977
1 Entscheidbarkeit der linearen Ordnung in Li (context) - Herre, Wolter - 1977
1 ll ordinals arefinitely determinate (context) - Melder - 1979
1 Generalized quartriflers and compact logic (context) - Shelah - 1975
1 Some results in stationary logic (context) - Kaufmann
1 the theory of linear orderings in the language L (context) - Tuschik, decidabiliO - 1977
1 The elementary theory oJ dbelian groups with m-chains of pur.. (context) - Baudisch
1 the theory of linear orderings with generalized quantifiers (context) - decidabiliO
1 On aproblem of formal logic (context) - Ramsey - 1929
1 unpublished manuscript (context) - Baudisch, Tuschik et al. - 1979
1 On Shelah's compactness of cardinals (context) - Ben-David - 1978
1 279-298 (context) - Vinner, Ehrenfeucht's et al. - 1972
Documents on the same site (http://www.aifb.uni-karlsruhe.de/CoM/seese/publications/): More
Hybrid Multi-Objective Evolutionary Computation of.. - Schlottmann, Seese (2002) (Correct)
Design by Contract in Java - a roadmap to excellence in.. - Wiedmann, Buchwald, al. (Correct)
The Building Blocks of Complexity: A Unified Criterion and.. - Seese, Schlottmann (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC