Modern Logic

Contributions of Polish logicians to decidability theory

Roman Murawski

Full-text: Open access

Article information

Source
Mod. Log., Volume 6, Number 1 (1996), 37-66.

Dates
First available in Project Euclid: 6 March 2008

Permanent link to this document
https://projecteuclid.org/euclid.rml/1204835630

Mathematical Reviews number (MathSciNet)
MR1370863

Zentralblatt MATH identifier
0844.01010

Subjects
Primary: 03-03: Historical (must also be assigned at least one classification number from Section 01)
Secondary: 01A60: 20th century 03B25: Decidability of theories and sets of sentences [See also 11U05, 12L05, 20F10] 03C10: Quantifier elimination, model completeness and related topics 03C35: Categoricity and completeness of theories 03D35: Undecidability and degrees of sets of sentences

Citation

Murawski, Roman. Contributions of Polish logicians to decidability theory. Mod. Log. 6 (1996), no. 1, 37--66. https://projecteuclid.org/euclid.rml/1204835630


Export citation