researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Annals of Pure and Applied Logic
Home
Index
Info
Volume
Volume
47
, Issue
3
199
--
223
Henryk Kotlarski
,
Zygmunt Ratajczyk
.
Inductive Full Satisfaction Classes
225
--
268
Michael Makkai
.
A Theorem on Barr-Exact Categories, with an Infinitary Generalization
269
--
294
Gabriel Srour
.
The Notion of Independence in Categories of Algebraic Structures, Part III: Equational Classes
Volume
47
, Issue
2
99
--
119
Christopher J. Ash
.
Labelling Systems and r.e. Structures
121
--
144
Fabio Bellissima
.
Post Complete and 0-Axiomatizable Modal Logics
145
--
165
Philip Scowcroft
.
A New Model for Intuitionistic Analysis
167
--
188
Naoki Shioji
,
Kazuyuki Tanaka
.
Fixed Point Theory in Weak Second-Order Arithmetic
189
--
197
Shih Ping Tung
.
Algorithms for Sentences over Integral Domains
Volume
47
, Issue
1
1
--
10
James E. Baumgartner
,
Jean A. Larson
.
A Diamond Example of an Ordinal Graph with No Infinite Paths
11
--
29
Harvey Friedman
,
Jeffry L. Hirst
.
Weak Comparability of Well Orderings and Reverse Mathematics
31
--
39
Jean A. Larson
.
Martin s Axiom and Ordinal Graphs: Large Independent Sets or Infinite Paths
41
--
97
Saharon Shelah
,
Michael Makkai
.
Categoricity of Theories in L::k omega::, with k a Compact Ordinal