Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 3600027

From MaRDI portal
Publication:4166751
Jump to:navigation, search

zbMATH Open0386.03026MaRDI QIDQ4166751FDOQ4166751


Authors:


Publication date: 1977



Title of this publication is not available (Why is that?)



Recommendations

  • Particularities of infinite systems
  • Infinite Chichilnisky rules
  • Sufficient condition for consistency of infinite systems
  • Proof systems for infinite behaviours
  • scientific article; zbMATH DE number 6530445
  • Discrete systems on infinite intervals
  • On the structure at infinity of a structured system
  • Finite de Finetti Theorem for Infinite-Dimensional Systems
  • Infinite Iterated Function Systems


Mathematics Subject Classification ID

Other nonclassical logic (03B60) Intuitionistic mathematics (03F55) General logic (03B99) Proof theory and constructive mathematics (03F99)



Cited In (1)

  • Recursive \(\omega\)-rule for proof systems





This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4166751)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4166751&oldid=17987606"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 6 February 2024, at 11:23. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki