An elementary definability theorem for first order logic

被引：3

作者：

Butz, C

Moerdijk, I

机构：

[1] Aarhus Univ, BRICS, Dept Comp Sci, DK-8000 Aarhus C, Denmark

[2] Univ Utrecht, Inst Math, NL-3508 TA Utrecht, Netherlands

来源：

JOURNAL OF SYMBOLIC LOGIC | 1999年 / 64卷 / 03期

关键词：

D O I：

10.2307/2586617

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

[No abstract available]

引用

页码：1028 / 1036

页数：9

共 50 条

[1] First-Order Modal Logic: Frame Definability and a Lindstrom Theorem
Zoghifard, R.
Pourmahdian, M.
STUDIA LOGICA, 2018, 106 (04) : 699 - 720
[2] First-Order Modal Logic: Frame Definability and a Lindström Theorem
R. Zoghifard
M. Pourmahdian
Studia Logica, 2018, 106 : 699 - 720
[3] FIRST-ORDER DEFINABILITY IN MODAL LOGIC
GOLDBLATT, RI
JOURNAL OF SYMBOLIC LOGIC, 1975, 40 (01) : 35 - 40
[4] The Exact Complexity of the First-Order Logic Definability Problem
Arenas, Marcelo
Diaz, Gonzalo I.
ACM TRANSACTIONS ON DATABASE SYSTEMS, 2016, 41 (02):
[5] On definability of order in logic with choice
Huuskonen, T
Hyttinen, T
16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2001, : 167 - 172
[6] A Gandy Theorem for Abstract Structures and Applications to First-Order Definability
Kudinov, Oleg V.
Selivanov, Victor L.
MATHEMATICAL THEORY AND COMPUTATIONAL PRACTICE, 2009, 5635 : 290 - +
[7] DEFINABILITY THEOREM FOR THE INTUITIONISTIC PREDICATE LOGIC WITH EQUALITY
MIZUTANI, C
NAGOYA MATHEMATICAL JOURNAL, 1982, 87 (NOV) : 1 - 15
[8] NEW THEOREM ON DEFINABILITY IN A POSITIVE SECOND-ORDER LOGIC WITH COUNTABLE CONJUNCTIONS AND DISJUNCTIONS
MOTOHASHI, N
PROCEEDINGS OF THE JAPAN ACADEMY, 1972, 48 (03): : 153 - +
[9] Elementary Definability and Completeness in General and Positive Modal Logic
Ernst Zimmermann
Journal of Logic, Language and Information, 2003, 12 (1) : 99 - 117
[10] An interpolation theorem for first order logic with infinitary predicates
Sayed-Ahmed, Tarek
LOGIC JOURNAL OF THE IGPL, 2007, 15 (01) : 21 - 32

← 1 2 3 4 5 →