<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

PA(aa)

Name: PA(aa)
Creator: Schmerl, James H.
Keywords: 03C80, 03C62, 03C85

descriptionPublicationkeyboard_double_arrow_right Article , Other literature type 01 Oct 1995Publisher:Duke University PressJournal:Notre Dame Journal of Formal Logic, volume 36 (issn: 0029-4527,

Authors: Schmerl, James H.;

doi: 10.1305/ndjfl/1040136916

PA(aa)

- Summary
- Subjects
- Related research
  (1)
- Metrics

Abstract

The theory PA(aa), which is Peano Arithmetic in the context of stationary logic, is shown to be consistent. Moreover, the first-order theory of the class of finitely determinate models of PA(aa) is characterized.

Keywords

03C80, 03C62, 03C85

1 Research products, page 1 of 1

Inclusion and exclusion dependencies in team semantics — On some logics of imperfect information
2012IsAmongTopNSimilarDocuments

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Green

hybrid

PA(aa)

PA(aa)

1 Research products, page 1 of 1

Inclusion and exclusion dependencies in team semantics — On some logics of imperfect information