Sciweavers

31 search results - page 1 / 7
» A note on Bar Induction in Constructive Set Theory
Sort
View
MLQ
2006
84views more  MLQ 2006»
13 years 10 months ago
A note on Bar Induction in Constructive Set Theory
Bar Induction occupies a central place in Brouwerian mathematics. This note is concerned with the strength of Bar Induction on the basis of Constructive ZermeloFraenkel Set Theory...
Michael Rathjen
RML
2006
134views Business» more  RML 2006»
13 years 10 months ago
A Note on Transitive Sets without the Foundation Axiom
We construct a model of set theory without the foundation axiom in which there exists a transitive set whose intersection is not transitive.
Marcin Kysiak
LOGCOM
2010
102views more  LOGCOM 2010»
13 years 9 months ago
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
This paper has two purposes. The first is to present a final coalgebra construction for finitary endofunctors on Set that uses a certain subset L∗ of the limit L of the firs...
Lawrence S. Moss
IJCAI
1989
13 years 12 months ago
Induction in an Abstraction Space: A Form of Constructive Induction
N IN AN ABSTRACTION SPACE: A Form of Constructive Induction George Drastal and Gabor Czako Siemens Research and Technology Laboratories 755 College Rd Princeton, NJ 08540 We repor...
George Drastal, Gabor Czako, Stan Raatz
ENTCS
2002
112views more  ENTCS 2002»
13 years 10 months ago
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
Ivan Scagnetto, Marino Miculan